Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/mkm/BancerekNU18
%A Bancerek, Grzegorz
%A Naumowicz, Adam
%A Urban, Josef
%B CICM
%D 2018
%E Rabe, Florian
%E Farmer, William M.
%E Passmore, Grant O.
%E Youssef, Abdou
%I Springer
%K dblp
%P 1-6
%T System Description: XSL-Based Translator of Mizar to LaTeX.
%U http://dblp.uni-trier.de/db/conf/mkm/cicm2018.html#BancerekNU18
%V 11006
%@ 978-3-319-96812-4
@inproceedings{conf/mkm/BancerekNU18,
added-at = {2019-09-25T00:00:00.000+0200},
author = {Bancerek, Grzegorz and Naumowicz, Adam and Urban, Josef},
biburl = {https://www.bibsonomy.org/bibtex/21526243bcd9a653d0a7065c125f86c9d/dblp},
booktitle = {CICM},
crossref = {conf/mkm/2018},
editor = {Rabe, Florian and Farmer, William M. and Passmore, Grant O. and Youssef, Abdou},
ee = {https://doi.org/10.1007/978-3-319-96812-4_1},
interhash = {a030fc22c66d221e8c8cf4ebae737dd0},
intrahash = {1526243bcd9a653d0a7065c125f86c9d},
isbn = {978-3-319-96812-4},
keywords = {dblp},
pages = {1-6},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-11-21T11:36:35.000+0100},
title = {System Description: XSL-Based Translator of Mizar to LaTeX.},
url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2018.html#BancerekNU18},
volume = 11006,
year = 2018
}