×

Found 2 Documents (Results 1–2)

Mining the Archive of Formal Proofs. (English) Zbl 1417.68176

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 3-17 (2015).
MSC:  68T15 68U35
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

Year of Publication

Main Field