Automated Deduction - CADE-19 Franz Baader
53,49 €
Titel: Automated Deduction - CADE-19, Untertitel: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, Einband: Taschenbuch, Autor: Franz Baader, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 524, Maße: 235x155x29 mm, Gewicht: 785 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Erfüllbarkeitsproblem der Aussagenlogik Resolution algorithms automata automated code verification automated deduction automated reasoning complexity description logics evolution formal verification meta theory model checking type theory unification.
Jetzt bei Ebay:
![Produktbild - An Introduction to Description Logic by Franz Baader [Paperback]](https://i.ebayimg.com/thumbs/images/g/legAAeSwWstoNoTb/s-l140.jpg)
