The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

by David A . Plaisted (Author), YunshanZhu (Author)

New
Paperback
2003
$60.44

Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.

Synopsis

Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.

$60.44

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 178
Edition: 2nd edition
Publisher: Springer
Published: 01 Sep 2003
ISBN 10: 3528155744
ISBN 13: 9783528155742

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

New

$60.44

Synopsis

$60.44

More Information