Sale 2%
Vieweg+teubner Verlag
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Product Code:
9783528155742
ISBN13:
9783528155742
Condition:
New
$61.47
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
$61.47
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 new tool in the comparative study of theorem proving strategies.
| Author: David A. Plaisted |
| Publisher: Vieweg+teubner Verlag |
| Publication Date: Oct 28, 1999 |
| Number of Pages: 172 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3528155744 |
| ISBN-13: 9783528155742 |
Related Products
