Steffen Hölldobler
· 8 obras en el catálogo
Obras

Ausgezeichnete Informatikdissertationen 1999

Intellectics and Computational Logic

Wissensrepräsentation und Inferenz

Logik und Logikprogrammierung 2. Aufgaben und Lösungen

KI 2015 : Advances in Artificial Intelligence
Deduktion
Logics in Artificial Intelligence
