%0 Conference Paper %1 conf/itp/KuhlweinBKU13 %A Kühlwein, Daniel %A Blanchette, Jasmin Christian %A Kaliszyk, Cezary %A Urban, Josef %B ITP %D 2013 %E Blazy, Sandrine %E Paulin-Mohring, Christine %E Pichardie, David %I Springer %K dblp %P 35-50 %T MaSh: Machine Learning for Sledgehammer. %U http://dblp.uni-trier.de/db/conf/itp/itp2013.html#KuhlweinBKU13 %V 7998 %@ 978-3-642-39633-5

@inproceedings{conf/itp/KuhlweinBKU13, added-at = {2022-03-16T00:00:00.000+0100}, author = {Kühlwein, Daniel and Blanchette, Jasmin Christian and Kaliszyk, Cezary and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2394d34b36b842307596a73863deb05d0/dblp}, booktitle = {ITP}, crossref = {conf/itp/2013}, editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David}, ee = {https://www.wikidata.org/entity/Q108482178}, interhash = {8fbf235133ebfe6209bf25b44bac9a8f}, intrahash = {394d34b36b842307596a73863deb05d0}, isbn = {978-3-642-39633-5}, keywords = {dblp}, pages = {35-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:19.000+0200}, title = {MaSh: Machine Learning for Sledgehammer.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2013.html#KuhlweinBKU13}, volume = 7998, year = 2013 }