Skip to main content

CURRENTLY SOLD OUT

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis by David A. Plaisted, Yunshan Zhu (Paperback, 1999)

About this product

About this product

Product Information

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

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Silent Spring by Rachel Carson (Paperback, 2000)
4.3 out of 5 stars based on 3 product ratings
AU $27.60 New
---- Used
Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)
5.0 out of 5 stars based on 6 product ratings
AU $41.62 New
---- Used
Thunder of Hooves: A History of 12 Light Horse Regiment 1915-1919 by Kenneth Hollis (Hardcover, 2008)
No ratings or reviews yet.
AU $38.50 New
---- Used
Polyvagal Exercises for Safety and Connection: 50 Client-Centered Practices by Deb Dana (Paperback, 2020)
No ratings or reviews yet.
AU $53.60 New
AU $45.00 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Silent Spring by Rachel Carson (English) Paperback Book
AU $27.35
Trending at AU $27.79
Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.96
It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $38.02
Mathematics for Technicians 7th Edition by Blair K. Alldis (English) Paperback B
AU $89.94
Trending at AU $94.67
Sapiens By Yuval Noah Harari
AU $19.00
Trending at AU $19.96
NEW Ethical Practice in Applied Psychology By Christopher Boyle Paperback
AU $69.20
Trending at AU $73.31

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like