%0 Conference Paper %1 conf/lpar/GauthierKU17 %A Gauthier, Thibault %A Kaliszyk, Cezary %A Urban, Josef %B LPAR %D 2017 %E Eiter, Thomas %E Sands, David %I EasyChair %K dblp %P 125-143 %T TacticToe: Learning to Reason with HOL4 Tactics. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2017.html#GauthierKU17 %V 46

@inproceedings{conf/lpar/GauthierKU17, added-at = {2022-03-16T00:00:00.000+0100}, author = {Gauthier, Thibault and Kaliszyk, Cezary and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/23e381b2bba72d5eb6924bfaafea203a2/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2017}, editor = {Eiter, Thomas and Sands, David}, ee = {https://www.wikidata.org/entity/Q108482135}, interhash = {40c17f59f1d79fb866c90d6de38259e9}, intrahash = {3e381b2bba72d5eb6924bfaafea203a2}, keywords = {dblp}, pages = {125-143}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {TacticToe: Learning to Reason with HOL4 Tactics.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2017.html#GauthierKU17}, volume = 46, year = 2017 }