Kohlhase M, Müller D, Rochau D (2017)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2017
Publisher: CEUR-WS
Book Volume: 1785
Pages Range: 245-259
Conference Proceedings Title: 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016
APA:
Kohlhase, M., Müller, D., & Rochau, D. (2017). FrameIT reloaded: Serious math games from modular math ontologies. In 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 (pp. 245-259). CEUR-WS.
MLA:
Kohlhase, Michael, Dennis Müller, and Denis Rochau. "FrameIT reloaded: Serious math games from modular math ontologies." Proceedings of the 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 CEUR-WS, 2017. 245-259.
BibTeX: Download