Results
Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
© 2017
Soft cover - Print (ISBN: 978-3-319-63045-8)
Electronic (ISBN: 978-3-319-63046-5)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-63046-5