Schaefer JF, Kohlhase M (2018)
Publication Language: English
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2018
Publisher: CEUR-WS
Book Volume: 2307
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-85060658105&origin=inward
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: Download