₹6301
₹7498
(16% Off)
Inclusive of all taxes
Qty
Buying in bulk?
In Stock
Guaranteed Service
Free Home Delivery
above ₹199
Check Delivery
Enter pincode for exact delivery dates / charges and to know if express delivery is available
The Efficiency Of Theorem Proving Strategies: A Comparative And Asymptotic Analysis (Computational Intelligence)
by David A. Plaisted, Yunshan Zhu (Author),
Vieweg+Teubner Verlag (Publisher)
Product Specifications
Book Description
Dieses Buch in englischer Sprache widmet sich dem Thema der Effizienz von
Beweisstrategien und bietet eine vergleichende und asymptotische Analyse. Das
Werk stellt erstmalig asymptotische Schranken fur die Grosse der von vielen
gebrauchlichen Beweisstrategien erzeugten Suchfelder bereit. Auf diese Weise
erlaubt es ein theoretisches Verstandnis der Effizienz unterschiedlicher
Beweisverfahren. Es wird ein fundamental neues Werkzeug fur den
Effizienzvergleich von Beweisstrategien bereitgestellt. Die zweite Auflage wurde
gegenuber der ersten leicht verbessert, neuere Literaturhinweise zudem
berucksichtigt.
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 unterstanding of the
Book Specifications
ISBN-13 9783528155742
Language English
Binding Paper Back
Publisher Vieweg+Teubner Verlag
Publishing Date 1999-10-28
Product Edition 2nd 1999 Edition