Virtual theories – A uniform interface to mathematical knowledge bases

Wiesing T, Kohlhase M, Rabe F (2017)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer Verlag

Pages Range: 243-257

ISBN: 9783319724522

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

Authors with CRIS profile

Tom Wiesing 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:

Wiesing, T., Kohlhase, M., & Rabe, F. (2017). Virtual theories – A uniform interface to mathematical knowledge bases. In Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 (pp. 243-257). Springer Verlag.

MLA:

Wiesing, Tom, Michael Kohlhase, and Florian Rabe. "Virtual theories – A uniform interface to mathematical knowledge bases." Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 Springer Verlag, 2017. 243-257.

BibTeX: Download