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
Automated theorem proving: after 25 years
1984, American Mathematical Society
in English
082185027X 9780821850275
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographies.
"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?December 20, 2023 | Edited by ImportBot | import existing book |
July 17, 2022 | Edited by ImportBot | import existing book |
December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |