Discourse-level parallel markup and meaning adoption in flexiformal theory graphs

Kohlhase M, Iancu M (2014)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2014

Publisher: Springer Verlag

Pages Range: 36-40

Event location: Seoul

ISBN: 9783662441985

DOI: 10.1007/978-3-662-44199-2_7

Authors with CRIS profile

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

How to cite

APA:

Kohlhase, M., & Iancu, M. (2014). Discourse-level parallel markup and meaning adoption in flexiformal theory graphs. In Proceedings of the 4th International Congress on Mathematical Software, ICMS 2014 (pp. 36-40). Seoul: Springer Verlag.

MLA:

Kohlhase, Michael, and Mihnea Iancu. "Discourse-level parallel markup and meaning adoption in flexiformal theory graphs." Proceedings of the 4th International Congress on Mathematical Software, ICMS 2014, Seoul Springer Verlag, 2014. 36-40.

BibTeX: Download