MRP: ₹7404
₹6224
₹ 1180 Off
(Incl. of all taxes)
Qty
Buying in bulk?
In stock
Deliver to
- 7-day returns
- Secure payment
- International shipping
- Carefully packed
Get this at ₹ 5913Extra 5% OffAdd items worth ₹999 to the cart & get extra 5% off
Get this at ₹ 5602Extra 10% OffAdd items worth ₹1499 to the cart & get extra 10% off
Book Summary
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
- ISBN-13
- 9783528155742
- Language
- English
- Binding
- Paper Back
- Publisher
- Vieweg+Teubner Verlag
- Publishing Date
- 1999-10-28
- Product Edition
- 2nd 1999 Edition
The Efficiency Of Theorem Proving Strategies: A Comparative And Asymptotic Analysis (Computational Intelligence)
by David A. Plaisted, Yunshan Zhu (Author),
Vieweg+Teubner Verlag (Publisher)
fictionfantasyyoung adultaward winning
Frequently bought together
The Efficiency Of Theorem Proving Strategies: A Comparative And Asymptotic Analysis (Computational Intelligence)₹6224This item
Maarikaadu₹63
Natyamayuri₹63Total for 3 items₹6350₹7544You save ₹1194
Product Specifications
Book Summary
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