Automated Reasoning with Analytic Tableaux and Related Methods Hans De Nivelle
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings, Einband: Taschenbuch, Autor: Hans De Nivelle, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 372, Maße: 235x155x21 mm, Gewicht: 563 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Coherent logic Computational Geometry Coq Description Logic Proof Checking Tableaux automated reasoning computational complexity general simplex algorithm intermediate logic linear arithmetic logic of proofs modal logic normal modal logics proof theory qualitative spatiotemporal logic resolution method spatiotemporal logic tableau method theorem prover.
Jetzt bei Ebay:
