%0 Conference Paper %1 conf/itp/KaliszykUV17 %A Kaliszyk, Cezary %A Urban, Josef %A Vyskocil, Jirí %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 12-27 %T Automating Formalization by Statistical and Semantic Parsing of Mathematics. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#KaliszykUV17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/KaliszykUV17, added-at = {2022-03-16T00:00:00.000+0100}, author = {Kaliszyk, Cezary and Urban, Josef and Vyskocil, Jirí}, biburl = {https://www.bibsonomy.org/bibtex/24eb06fb0c63f63ff3d74f338df628668/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://www.wikidata.org/entity/Q108482124}, interhash = {2e8f6e01a136ce8582e7436aa5364860}, intrahash = {4eb06fb0c63f63ff3d74f338df628668}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {12-27}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:22.000+0200}, title = {Automating Formalization by Statistical and Semantic Parsing of Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#KaliszykUV17}, volume = 10499, year = 2017 }