Notation-based semantification

Kohlhase M (2017)

Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2017

Publisher: CEUR-WS

Book Volume: 1785

Pages Range: 73-81

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-85018973557∨igin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Kohlhase, M. (2017). Notation-based semantification. In Proceedings of the MathUI 2016 (pp. 73-81). CEUR-WS.

MLA:

Kohlhase, Michael. "Notation-based semantification." Proceedings of the MathUI 2016 CEUR-WS, 2017. 73-81.

BibTeX: Download