In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning

Meghna BhadraMeghna Bhadra, Ulrich FurbachUlrich Furbach

Meghna Bhadra, Ulrich Furbach
In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning
Künstliche Intelligenz, 2(37):249--254, 2023

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic

The final publication is available at Springer.

@article{bhadra2023memory,
  title={In Memory of Steffen H{\"o}lldobler: From Logic to Formal and Cognitive Reasoning},
  author={Bhadra, Meghna and Furbach, Ulrich},
  journal={KI-K{\"u}nstliche Intelligenz},
  volume={37},
  number={2},
  pages={249--254},
  year={2023},
  publisher={Springer}
}