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 für die Größe der von vielen gebräuchlichen Beweisstrategien erzeugten Suchfelder
bereit. Auf diese Weise erlaubt es ein theoretisches Verständnis der Effizienz
unterschiedlicher Beweisverfahren. Es wird ein fundamental neues Werkzeug für den
Effizienzvergleich von Beweisstrategien bereitgestellt. Die zweite Auflage wurde gegenüber der
ersten leicht verbessert neuere Literaturhinweise zudem berücksichtigt.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.
