Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Handbook of Automated Reasoning (2 Volume Set)
September 1, 2001, The MIT Press
Hardcover
in English
0262182238 9780262182232
|
aaaa
Libraries near you:
WorldCat
|
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."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
December 19, 2023 | Edited by ImportBot | import existing book |
August 12, 2010 | Edited by IdentifierBot | added LibraryThing ID |
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record. |