Catalogo · 9783540450856
Automated Deduction - CADE-19
ISBN 9783540450856
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
The Description Logic Handbook
Franz Baader
Fermenta Cognitionis
Franz Baader
Introduction to Description Logic
Franz Baader, Carsten Lutz, Uli Sattler
Term Rewriting and Applications
Franz Baader
Term Rewriting & All That
Franz Baader
Term rewriting and all that
Franz Baader
KI 2001 : Advances in Artificial Intelligence
Franz Baader, Gerhard Brewka, Thomas Eiter
Frontiers of combining systems
Franz Baader
Fermenta Cognitionis, Heft 1
Franz Baader
Verba volant · scripta manent