Automated Reasoning with Analytic Tableaux and Related Methods Neil V. Murray
53,49 €
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings, Einband: Taschenbuch, Autor: Neil V. Murray, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 344, Maße: 235x155x19 mm, Gewicht: 522 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik Automat Formal Systems Verification Logic Reasoning Calculi Tableaux Methods automated deduction automated reasoning formal verification knowledge representation logic theorem proving verification.
Jetzt bei Ebay:
