%0 Conference Paper %1 conf/cade/KuhlweinLTUH12 %A Kühlwein, Daniel %A van Laarhoven, Twan %A Tsivtsivadze, Evgeni %A Urban, Josef %A Heskes, Tom %B IJCAR %D 2012 %E Gramlich, Bernhard %E Miller, Dale %E Sattler, Uli %I Springer %K dblp %P 378-392 %T Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2012.html#KuhlweinLTUH12 %V 7364 %@ 978-3-642-31364-6

@inproceedings{conf/cade/KuhlweinLTUH12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kühlwein, Daniel and van Laarhoven, Twan and Tsivtsivadze, Evgeni and Urban, Josef and Heskes, Tom}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ea726f4763f02b817c4e7c11207a12d5/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2012}, editor = {Gramlich, Bernhard and Miller, Dale and Sattler, Uli}, ee = {https://doi.org/10.1007/978-3-642-31365-3_30}, interhash = {93e9f73670cf7c034693c45288170231}, intrahash = {ea726f4763f02b817c4e7c11207a12d5}, isbn = {978-3-642-31364-6}, keywords = {dblp}, pages = {378-392}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:39:01.000+0200}, title = {Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2012.html#KuhlweinLTUH12}, volume = 7364, year = 2012 }