Inproceedings,
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper).
J. Schaefer, and M. Kohlhase.CICM Workshops, volume 2307 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)
Meta data
- BibTeX key
- conf/mkm/SchaeferK18
- entry type
- inproceedings
- booktitle
- CICM Workshops
- year
- 2018
- publisher
- CEUR-WS.org
- series
- CEUR Workshop Proceedings
- volume
- 2307
- crossref
- conf/mkm/2018w
- ee
- https://ceur-ws.org/Vol-2307/WiP1.pdf
- url
- http://dblp.uni-trier.de/db/conf/mkm/cicm2018w.html#SchaeferK18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/mkm/SchaeferK18
%A Schaefer, Jan Frederik
%A Kohlhase, Michael
%B CICM Workshops
%D 2018
%E Hasan, Osman
%E Youssef, Abdou
%E Naumowicz, Adam
%E Farmer, William M.
%E Kaliszyk, Cezary
%E Gallois-Wong, Diane
%E Rabe, Florian
%E Reis, Gabriel Dos
%E Passmore, Grant O.
%E Davenport, James H.
%E Pfeiffer, Markus
%E Kohlhase, Michael
%E Autexier, Serge
%E Tahar, Sofiène
%E Koprucki, Thomas
%E Siddique, Umair
%E Neuper, Walther
%E Windsteiger, Wolfgang
%E Schreiner, Wolfgang
%E Sperber, Wolfram
%E Kovács, Zoltán
%I CEUR-WS.org
%K dblp
%T Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper).
%U http://dblp.uni-trier.de/db/conf/mkm/cicm2018w.html#SchaeferK18
%V 2307
@inproceedings{conf/mkm/SchaeferK18,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Schaefer, Jan Frederik and Kohlhase, Michael},
biburl = {https://www.bibsonomy.org/bibtex/26d6319d8d4d9d82d0b76207446da75a5/dblp},
booktitle = {CICM Workshops},
crossref = {conf/mkm/2018w},
editor = {Hasan, Osman and Youssef, Abdou and Naumowicz, Adam and Farmer, William M. and Kaliszyk, Cezary and Gallois-Wong, Diane and Rabe, Florian and Reis, Gabriel Dos and Passmore, Grant O. and Davenport, James H. and Pfeiffer, Markus and Kohlhase, Michael and Autexier, Serge and Tahar, Sofiène and Koprucki, Thomas and Siddique, Umair and Neuper, Walther and Windsteiger, Wolfgang and Schreiner, Wolfgang and Sperber, Wolfram and Kovács, Zoltán},
ee = {https://ceur-ws.org/Vol-2307/WiP1.pdf},
interhash = {ab7a1bfd2136265fed10fcdec04ae460},
intrahash = {6d6319d8d4d9d82d0b76207446da75a5},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-10T02:44:30.000+0200},
title = {Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper).},
url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2018w.html#SchaeferK18},
volume = 2307,
year = 2018
}