×

zbMATH — the first resource for mathematics

Found 14 Documents (Results 1–3)

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-66106-3/pbk; 978-3-319-66107-0/ebook). Lecture Notes in Computer Science 10499, 354-370 (2017).
MSC:  68T15
BibTeX Cite
Full Text: DOI
Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 243-250 (2013).
MSC:  68W30 55U10 68T15
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
Biographic Reference
Software