Automated Reasoning with Analytic Tableaux and Related Methods Roy Dyckhoff
53,49 €
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings, Einband: Taschenbuch, Autor: Roy Dyckhoff, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI AI logics Automat Logic Reason Calculi Mathematical Logics Tableaux Methods automated deduction automated reasoning formal verification modal logics theorem proving.
Jetzt bei Ebay:
