The efficiency of theorem proving strategies : a comparative and asymptotic analysis /

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 tool in the compa...

Full description

Bibliographic Details

Main Author:	Plaisted, David A.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Zhu, Yunshan
Format:	eBook
Language:	English
Published:	Braunschweig : Vieweg, 1999.
Edition:	2nd, revised edition.
Series:	Computational intelligence.
Subjects:	Automatic theorem proving. Automatisches Beweisverfahren. Electronic books.
Online Access:	Connect to the full text of this electronic book