Steffen Hölldobler

No bio available. Add one in Open Library.

Books by Steffen Hölldobler (50 max)

+ shelf+ list

Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel (Applied Logic Series)

2000

Steffen Hölldobler

+ shelf+ list

KI 2015 : Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

2015

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph

+ shelf+ list

Wissensrepräsentation und Inferenz: Eine grundlegende Einführung

1993

W. Bibel, Steffen Hölldobler, Rudolf Kruse, Torsten Schaub

+ shelf+ list

Ausgezeichnete Informatikdissertationen 1999

2000

Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz

+ shelf+ list

Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel

2000

Steffen Hölldobler

+ shelf+ list

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

2008

Steffen Hölldobler, Carsten Lutz, Heinrich Wansing

+ shelf+ list

Logik und Logikprogrammierung 2. Aufgaben und Lösungen

2011

Steffen Hölldobler

+ shelf+ list

Deduktion: Automatisierung der Logik

2020

W. Bibel, Steffen Hölldobler, Gerd Neugebauer