%0 Conference Paper %1 conf/cpp/GauthierK15 %A Gauthier, Thibault %A Kaliszyk, Cezary %B CPP %D 2015 %E Leroy, Xavier %E Tiu, Alwen %I ACM %K dblp %P 49-57 %T Premise Selection and External Provers for HOL4. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2015.html#GauthierK15 %@ 978-1-4503-3296-5

@inproceedings{conf/cpp/GauthierK15, added-at = {2022-03-16T00:00:00.000+0100}, author = {Gauthier, Thibault and Kaliszyk, Cezary}, biburl = {https://www.bibsonomy.org/bibtex/2453ccb662da718feb28b33476a8cb95c/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2015}, editor = {Leroy, Xavier and Tiu, Alwen}, ee = {https://www.wikidata.org/entity/Q108482158}, interhash = {558c1923b1cc4252d7d08db20ba60115}, intrahash = {453ccb662da718feb28b33476a8cb95c}, isbn = {978-1-4503-3296-5}, keywords = {dblp}, pages = {49-57}, publisher = {ACM}, timestamp = {2024-04-10T16:45:55.000+0200}, title = {Premise Selection and External Provers for HOL4.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2015.html#GauthierK15}, year = 2015 }