Translating the IMPS theory library to MMT/OMDoc

Kohlhase M, Betzendahl J (2018)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2018

Publisher: Springer Verlag

Pages Range: 7-22

ISBN: 9783319968117

DOI: 10.1007/978-3-319-96812-4_2

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Jonas Betzendahl Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Kohlhase, M., & Betzendahl, J. (2018). Translating the IMPS theory library to MMT/OMDoc. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 7-22). Springer Verlag.

MLA:

Kohlhase, Michael, and Jonas Betzendahl. "Translating the IMPS theory library to MMT/OMDoc." Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 Springer Verlag, 2018. 7-22.

BibTeX: Download