Syntactic/semantic analysis for high-precision math linguistics

Conference contribution
(Original article)


Publication Details

Author(s): Schaefer JF, Kohlhase M
Publisher: CEUR-WS
Publication year: 2018
Volume: 2307
Language: English


FAU Authors / FAU Editors

Kohlhase, Michael Prof. Dr.
Professur für Wissensrepräsentation und -verarbeitung
Schaefer, Jan Frederik
Professur für Wissensrepräsentation und -verarbeitung


How to cite

APA:
Schaefer, J.F., & Kohlhase, M. (2018). Syntactic/semantic analysis for high-precision math linguistics. In Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation, CME-EI 2018, Formal Mathematics for Mathematicians, FMM 2018, Computer Algebra in the Age of Types, CAAT 2018, Formal Verification of Physical Systems, FVPS 2018, Mathematical Models and Mathematical Software as Research Data 2018, M3SRD 2018 and 29th OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS 2018. CEUR-WS.

MLA:
Schaefer, Jan Frederik, and Michael Kohlhase. "Syntactic/semantic analysis for high-precision math linguistics." Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation, CME-EI 2018, Formal Mathematics for Mathematicians, FMM 2018, Computer Algebra in the Age of Types, CAAT 2018, Formal Verification of Physical Systems, FVPS 2018, Mathematical Models and Mathematical Software as Research Data 2018, M3SRD 2018 and 29th OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS 2018 CEUR-WS, 2018.

BibTeX: 

Last updated on 2019-16-04 at 00:23