S
Steffen Hölldobler
8 works on record
Works

Wissensrepräsentation und Inferenz

Ausgezeichnete Informatikdissertationen 1999

Intellectics and Computational Logic

Logik und Logikprogrammierung 2. Aufgaben und Lösungen

KI 2015 : Advances in Artificial Intelligence

Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel (Applied Logic Series)
Deduktion
Deduktion
Logics in Artificial Intelligence
Logics in Artificial Intelligence