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 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
2023, Springer
in English
3031384989 9783031384981
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
ID Numbers
Source records
Community Reviews (0)
Feedback?July 17, 2023 | Created by ImportBot | import new book |