Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Subjects
Computer scienceShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Handbook of Automated Reasoning
September 1, 2001, The MIT Press
Hardcover
in English
0262182211 9780262182218
|
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
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?August 26, 2020 | Created by ImportBot | import existing book |