Knowledge-based interoperability for mathematical software systems

Kohlhase M, de Feo L, Müller D, Pfeiffer M, Rabe F, Wiesing T (2017)

Publication Status: Published

Publication Type: Conference contribution

Publication year: 2017

Publisher: Springer Verlag

Pages Range: 195-210

ISBN: 9783319724522

DOI: 10.1007/978-3-319-72453-9_14

Authors with CRIS profile

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

Involved external institutions

University of St Andrews GB United Kingdom (GB)

How to cite

APA:

Kohlhase, M., de Feo, L., Müller, D., Pfeiffer, M., Rabe, F., & Wiesing, T. (2017). Knowledge-based interoperability for mathematical software systems. In Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 (pp. 195-210). Springer Verlag.

MLA:

Kohlhase, Michael, et al. "Knowledge-based interoperability for mathematical software systems." Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 Springer Verlag, 2017. 195-210.

BibTeX: Download