Automatically finding theory morphisms for knowledge management

Müller D, Kohlhase M, Rabe F (2018)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2018

Publisher: Springer Verlag

Pages Range: 209-224

ISBN: 9783319968117

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

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Müller, D., Kohlhase, M., & Rabe, F. (2018). Automatically finding theory morphisms for knowledge management. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 209-224). Springer Verlag.

MLA:

Müller, Dennis, Michael Kohlhase, and Florian Rabe. "Automatically finding theory morphisms for knowledge management." Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 Springer Verlag, 2018. 209-224.

BibTeX: Download