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 efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.
Product Identifiers
Publisher
Springer Fachmedien Wiesbaden
ISBN-13
9783528155742
eBay Product ID (ePID)
148705445
Product Key Features
Author
David A. Plaisted, Yunshan Zhu
Publication Name
The Efficiency of Theorem Proving Strategies: a Comparative and Asymptotic Analysis
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
1999
Type
Textbook
Number of Pages
172 Pages
Dimensions
Item Height
210mm
Item Width
148mm
Item Weight
249g
Additional Product Features
Title_Author
David A. Plaisted, Yunshan Zhu
Country/Region of Manufacture
Germany
Best Selling in Adult Learning & University
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University