Kohlhase M (2014)
Publication Status: Published
Publication Type: Conference contribution, Conference Contribution
Publication year: 2014
Publisher: CEUR-WS
Book Volume: 1186
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84924891647&origin=inward
APA:
Kohlhase, M. (2014). Extension proposal: Records in pragmatic open math. In Proceedings of the Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014. CEUR-WS.
MLA:
Kohlhase, Michael. "Extension proposal: Records in pragmatic open math." Proceedings of the Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 CEUR-WS, 2014.
BibTeX: Download