The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis - David A. Plaisted - Books - Springer Fachmedien Wiesbaden - 9783528155742 - October 28, 1999
In case cover and title do not match, the title is correct

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 2nd ed. 1999 edition

David A. Plaisted

Price
Fr. 55.49
excl. VAT

Ordered from remote warehouse

Expected delivery May 1 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 2nd ed. 1999 edition

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.

172 pages, 3 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 28, 1999
ISBN13 9783528155742
Publishers Springer Fachmedien Wiesbaden
Pages 172
Dimensions 148 × 210 × 10 mm   ·   244 g
Language English   German  
Contributor Rudolf Kruse
Contributor Wolfgang Bibel

See all of David A. Plaisted ( e.g. Paperback Book )