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)
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
Source records
Community Reviews (0)
Feedback?June 7, 2020 | Created by ImportBot | import new book |