The Efficiency of Theorem Proving Strategies Yunshan Zhu
53,49 €
Titel: The Efficiency of Theorem Proving Strategies, Untertitel: A Comparative and Asymptotic Analysis, Einband: Taschenbuch, Autor: Yunshan Zhu, Verlag: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, Sprache: Englisch, Seiten: 184, Maße: 210x148x11 mm, Gewicht: 246 g, Verkäufer: buch-mimpf, Schlagworte: Begründung / Beweis Beweis Effizienz Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik Compexity Computational Intelligence First-Order Complexity First-Order Theorem Provin Search Efficiency automated theorem proving logic strategy theorem proving.
Jetzt bei Ebay:
