An edition of Handbook of Automated Reasoning
(2001)
Handbook of Automated Reasoning
Volume I (Handbook of Automated Reasoning)
by Robinson, Alan and Andrei Voronkov
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
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 : Volume I (Handbook of Automated Reasoning)
June 1, 2001, North Holland
in English
0444829490 9780444829498
|
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."
Classifications
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 29, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 27, 2023 | Edited by ImportBot | import existing book |
| October 8, 2020 | Edited by ImportBot | import existing book |
| July 31, 2020 | Edited by ImportBot | import existing book |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |