×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-63045-8/pbk; 978-3-319-63046-5/ebook). Lecture Notes in Computer Science 10395. Lecture Notes in Artificial Intelligence, 95-113 (2017).
MSC:  03B35 68T15
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software