The Efficiency of Theorem Proving Strategies
Plaisted, David A., Zhu, Yunshan
| Autor: | Plaisted, David A. Zhu, Yunshan |
|---|---|
| Themengebiete: | Begründung / Beweis Beweis Effizienz Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik |
| Veröffentlichungsdatum: | 28.10.1999 |
| EAN: | 9783528155742 |
| Auflage: | 002 |
| Sprache: | Englisch |
| Seitenzahl: | 184 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Vieweg & Teubner Vieweg+Teubner Verlag |
| Untertitel: | A Comparative and Asymptotic Analysis |
Produktinformationen "The Efficiency of Theorem Proving Strategies"
This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical understanding of the efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen