The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted and Yunshan Zhu.

Format:

Book

Author/Creator:

Plaisted, David A.

Contributor:

Zhu, Yunshan.

Language:

English

Subjects (All):

Automatic theorem proving.

Physical Description:

viii, 170 pages : illustrations ; 22 cm

Edition:

Second, revised edition.

Place of Publication:

Braunschweig : Vieweg, 1999.

Summary:

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 understanding of the efficiencies of many different theorem proving methods. This is a fundamental tool in the comparative study of theorem proving strategies. The second edition is slightly revised, a few errors have been fixed, and some references to related works have been added.

Notes:

Includes bibliographical references (pages [157]-163) and index.

ISBN:

3528155744

OCLC:

46649769