Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T (2017)
Publication Language: English
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2017
Publisher: Springer Verlag
Pages Range: 83-98
Conference Proceedings Title: 10th International Conference on Intelligent Computer Mathematics, CICM 2017
ISBN: 9783319620749
DOI: 10.1007/978-3-319-62075-6_7
APA:
Kohlhase, M., Müller, D., Rabe, F., Kaliszyk, C., & Gauthier, T. (2017). Classification of alignments between concepts of formal mathematical systems. In 10th International Conference on Intelligent Computer Mathematics, CICM 2017 (pp. 83-98). Springer Verlag.
MLA:
Kohlhase, Michael, et al. "Classification of alignments between concepts of formal mathematical systems." Proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017 Springer Verlag, 2017. 83-98.
BibTeX: Download