Automated Reasoning with Analytic Tableaux and Related Methods Didier Galmiche
53,49 €
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings, Einband: Taschenbuch, Autor: Didier Galmiche, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 392, Maße: 235x155x22 mm, Gewicht: 593 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Automat Automatisches Schließen Deduktionssysteme Formale Logik Tableaux Methods Tableaux-Methoden automated reasoning deduction systems formal logics logic proving system development theorem proving.
Jetzt bei Ebay:
