×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 164-170 (2017).
MSC:  68T15
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Classification
Software