%0 Conference Paper %1 conf/mkm/BrownU16 %A Brown, Chad E. %A Urban, Josef %B CICM %D 2016 %E Kohlhase, Michael %E Johansson, Moa %E Miller, Bruce R. %E de Moura, Leonardo %E Tompa, Frank Wm. %I Springer %K dblp %P 99-114 %T Extracting Higher-Order Goals from the Mizar Mathematical Library. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#BrownU16 %V 9791 %@ 978-3-319-42546-7

@inproceedings{conf/mkm/BrownU16, added-at = {2017-05-17T00:00:00.000+0200}, author = {Brown, Chad E. and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/298322d3194bdfd77106f19e24846a3d7/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2016}, editor = {Kohlhase, Michael and Johansson, Moa and Miller, Bruce R. and de Moura, Leonardo and Tompa, Frank Wm.}, ee = {https://doi.org/10.1007/978-3-319-42547-4_8}, interhash = {f228aeaa2e4d754238efdf9778057324}, intrahash = {98322d3194bdfd77106f19e24846a3d7}, isbn = {978-3-319-42546-7}, keywords = {dblp}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:38.000+0200}, title = {Extracting Higher-Order Goals from the Mizar Mathematical Library.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#BrownU16}, volume = 9791, year = 2016 }