Buch Gebundenes Buch Taschenbuch
Nicht verfügbare Artikel anzeigen

Releases von Franz Baader

13. Dezember 1901 – 20. Mai 2010

Cover for Franz Baader · The Description Logic Handbook: Theory, Implementation and Applications (Taschenbuch) [2 Revised edition] (2010)

2 Revised edition

The Description Logic Handbook: ... (2010)

Cover for Franz Baader · Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2007 edition] (2007)

Term Rewriting and Applications:... (2007)

Cover for Franz Baader · Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2003 edition] (2003)

Automated Deduction - CADE-19: 1... (2003)

Cover for Franz Baader · Term Rewriting and All That (Gebundenes Buch) (1998)

Gebundenes Buch

Term Rewriting and All That (1998)

Cover for Franz Baader · Fermenta Cognitionis (Buch) (1901)

Fermenta Cognitionis (1901)