Automatically finding theory morphisms for knowledge management

Conference contribution
(Original article)


Publication Details

Author(s): Müller D, Kohlhase M, Rabe F
Publisher: Springer Verlag
Publication year: 2018
Pages range: 209-224
ISBN: 9783319968117


FAU Authors / FAU Editors

Kohlhase, Michael Prof. Dr.
Professur für Wissensrepräsentation und -verarbeitung
Müller, Dennis
Professur für Wissensrepräsentation und -verarbeitung
Rabe, Florian PD Dr.
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: 

Last updated on 2019-16-04 at 00:23