An edition of Efficiency of Theorem Proving Strategies
(1999)
Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
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
|
aaaa
|
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
|
zzzz
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created February 17, 2024
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 17, 2024 | Created by ImportBot | Imported from Better World Books record |