An edition of Efficiency of Theorem Proving Strategies
(1999)
The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis (Computational Intelligence)
2 edition
by David A. Plaisted and Yunshan Zhu
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Artificial intelligence| Edition | Availability |
|---|---|
1
Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
2013, Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH
in German
332293862X 9783322938626
|
zzzz
|
|
2
Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
2013, Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH
in English
3663078477 9783663078470
|
zzzz
|
3
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
October 28, 1999, GWV-Vieweg
Paperback
in English
- 2 edition
3528155744 9783528155742
|
aaaa
|
Book Details
First Sentence
"The efficiency of a theorem prover is more directly influenced by the total number of inferences performed before a proof is found than by the size of the final proof."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 29, 2021 | Created by ImportBot | import existing book |