An edition of Automation of reasoning
(1983)
Automation of Reasoning 1
Classical Papers on Computational Logic, 1957-1966
by Jörg H. Siekmann and Graham Wrightson
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Automatic theorem proving| Edition | Availability |
|---|---|
1
|
cccc
|
2
Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966
March 1983, Springer
in English
0387120432 9780387120430
|
aaaa
|
Book Details
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 29, 2008
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL16350953W |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |