Translating the IMPS theory library to MMT/OMDoc

Conference contribution
(Original article)


Publication Details

Author(s): Kohlhase M, Betzendahl J
Publisher: Springer Verlag
Publication year: 2018
Pages range: 7-22
ISBN: 9783319968117


FAU Authors / FAU Editors

Betzendahl, Jonas
Professur für Wissensrepräsentation und -verarbeitung
Kohlhase, Michael Prof. Dr.
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: 

Last updated on 2019-15-04 at 23:23