%0 Journal Article %1 journals/corr/abs-1108-3446 %A Alama, Jesse %A Kühlwein, Daniel %A Tsivtsivadze, Evgeni %A Urban, Josef %A Heskes, Tom %D 2011 %J CoRR %K dblp %T Premise Selection for Mathematics by Corpus Analysis and Kernel Methods %U http://dblp.uni-trier.de/db/journals/corr/corr1108.html#abs-1108-3446 %V abs/1108.3446

@article{journals/corr/abs-1108-3446, added-at = {2018-08-13T00:00:00.000+0200}, author = {Alama, Jesse and Kühlwein, Daniel and Tsivtsivadze, Evgeni and Urban, Josef and Heskes, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2bb2afe8fdc83cb1b864887daaa173530/dblp}, ee = {http://arxiv.org/abs/1108.3446}, interhash = {4902371b564e1475964c73cdb32ba8bc}, intrahash = {bb2afe8fdc83cb1b864887daaa173530}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:23:03.000+0200}, title = {Premise Selection for Mathematics by Corpus Analysis and Kernel Methods}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1108.html#abs-1108-3446}, volume = {abs/1108.3446}, year = 2011 }