![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle
Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, ClaudioVolume:
10.1007/97
Year:
2019
DOI:
10.1007/978-3-030-23250-4_2
File:
PDF, 285 KB
2019