An edition of Automated Deduction – CADE 26
(2017)
Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
by Leonardo de Moura
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Automatic theorem proving| Edition | Availability |
|---|---|
1
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Aug 15, 2017, Springer
paperback
3319630458 9783319630458
|
aaaa
|
Book Details
Edition Notes
Source title: Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Lecture Notes in Computer Science)
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| October 5, 2021 | Edited by ImportBot | import existing book |
| June 7, 2020 | Created by ImportBot | import new book |