An edition of Handbook Of Automated Reasoning
(2001)
Handbook of Automated Reasoning (2 Volume Set)
by J. Robinson , Alan Robinson , and Andrei Voronkov
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Handbook of Automated Reasoning (2 Volume Set)
September 1, 2001, The MIT Press
Hardcover
in English
0262182238 9780262182232
|
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)
| August 17, 2024 | Edited by ImportBot | import existing book |
| December 19, 2023 | Created by ImportBot | import existing book |