A Flexible, Interactive Theory-Graph Viewer

Müller D, Kohlhase M, Rupprecht M (2017)

Publication Type: Conference contribution, Conference Contribution

Publication year: 2017

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Marcel Rupprecht Professur für Wissensrepräsentation und -verarbeitung

Related research project(s)

Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019 OpenDreamKit (OpenDreamKit) Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019

How to cite

APA:

Müller, D., Kohlhase, M., & Rupprecht, M. (2017). A Flexible, Interactive Theory-Graph Viewer. In Proceedings of the CICM 2017.

MLA:

Müller, Dennis, Michael Kohlhase, and Marcel Rupprecht. "A Flexible, Interactive Theory-Graph Viewer." Proceedings of the CICM 2017 2017.

BibTeX: Download