×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94820-1/pbk; 978-3-319-94821-8/ebook). Lecture Notes in Computer Science 10895, 441-458 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 37 p. (2001).
MSC:  68T15 68T30
PDF BibTeX XML Cite
Full Text: Link