An edition of Handbook of Automated Reasoning
(2001)
Handbook of Automated Reasoning
by Andrei Voronkov
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
Handbook of Automated Reasoning
September 1, 2001, The MIT Press
Hardcover
in English
026218222X 9780262182225
|
aaaa
|
Book Details
First Sentence
"With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, presented an ideal target for those interested in experimenting with computer programs that purported to implement the "higher" human faculties."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 3 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 17, 2024 | Edited by ImportBot | import existing book |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |