%0 Conference Paper %1 conf/mkm/Urban03 %A Urban, Josef %B MKM %D 2003 %E Asperti, Andrea %E Buchberger, Bruno %E Davenport, James H. %I Springer %K dblp %P 203-215 %T Translating Mizar for First Order Theorem Provers. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2003.html#Urban03 %V 2594 %@ 3-540-00568-4

@inproceedings{conf/mkm/Urban03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2efc4d340f3c8e27401bfd9f222e31314/dblp}, booktitle = {MKM}, crossref = {conf/mkm/2003}, editor = {Asperti, Andrea and Buchberger, Bruno and Davenport, James H.}, ee = {https://doi.org/10.1007/3-540-36469-2_16}, interhash = {852ae0e43b0f6968a9a4fba3b10b671d}, intrahash = {efc4d340f3c8e27401bfd9f222e31314}, isbn = {3-540-00568-4}, keywords = {dblp}, pages = {203-215}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:17:51.000+0200}, title = {Translating Mizar for First Order Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2003.html#Urban03}, volume = 2594, year = 2003 }