Automated Reasoning Natarajan Shankar
106,99 €
Titel: Automated Reasoning, Untertitel: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Einband: Taschenbuch, Autor: Natarajan Shankar, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 704, Maße: 235x155x38 mm, Gewicht: 1048 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik AI logics Isabelle Ontology Semantics automata automated deduction automated reasoning formal logic formal proof higher-order logics mathematical logic mechanized reasoning ontolologies semantic web verification.
Jetzt bei Ebay:
