Steffen Hölldobler 2006 Prof. Steffen Hölldobler

Authored Monographs

M1:   Foundations of Equational Logic Programming. Lecture Notes in Artificial Intelligence, 353, Springer: 1989.

M2:   Automated Inferencing and Connectionist Models. Post-Doctoral Thesis: 1993.

M3:   Wissensrepräsentation und Inferenz. Vieweg Verlag: 1993 (together with W. Bibel and T. Schaub).

M4:   Logik und Logikprogrammierung. Synchron Verlag, Heidelberg: Jan. 2001.

M5:   Logik und Logikprogrammierung. Second, extended edition. Synchron Verlag, Heidelberg: Dez. 2001.

M6:   Logik und Logikprogrammierung. Third edition. Synchron Verlag, Heidelberg: 2003.