%0 Conference Paper %1 conf/cade/GauthierKKN14 %A Gauthier, Thibault %A Kaliszyk, Cezary %A Keller, Chantal %A Norrish, Michael %B PAAR@IJCAR %D 2014 %E Schulz, Stephan %E de Moura, Leonardo %E Konev, Boris %I EasyChair %K dblp %P 50-59 %T Beagle as a HOL4 external ATP method. %U http://dblp.uni-trier.de/db/conf/cade/paar2014.html#GauthierKKN14 %V 31

@inproceedings{conf/cade/GauthierKKN14, added-at = {2021-08-15T00:00:00.000+0200}, author = {Gauthier, Thibault and Kaliszyk, Cezary and Keller, Chantal and Norrish, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2fa4a1a821e952130b822e0d520d574fb/dblp}, booktitle = {PAAR@IJCAR}, crossref = {conf/cade/2014paar}, editor = {Schulz, Stephan and de Moura, Leonardo and Konev, Boris}, ee = {https://doi.org/10.29007/8xbv}, interhash = {96e21b06e375828693e58497c508f635}, intrahash = {fa4a1a821e952130b822e0d520d574fb}, keywords = {dblp}, pages = {50-59}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {Beagle as a HOL4 external ATP method.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2014.html#GauthierKKN14}, volume = 31, year = 2014 }