Extension proposal: Records in pragmatic open math

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

Authors with CRIS profile

How to cite

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