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 Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Aug 21, 2019, Springer
paperback
3030294358 9783030294359
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Source title: Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science (11716))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?June 7, 2020 | Created by ImportBot | import new book |