Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
June 22, 2000, Springer
Paperback
in English
- 1st edition
3540676643 9783540676645
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?October 4, 2021 | Edited by ImportBot | import existing book |
June 28, 2019 | Edited by MARC Bot | import existing book |
July 29, 2014 | Edited by ImportBot | import new book |
October 14, 2010 | Edited by Sarah Breau | Added series, edited edition, added by statement, added OCLCs, added pagination |
December 10, 2009 | Created by WorkBot | add works page |