%0 Conference Paper %1 conf/cade/Stickel09 %A Stickel, Mark E. %B CADE %D 2009 %E Schmidt, Renate A. %I Springer %K dblp %P 306-321 %T Building Theorem Provers. %U http://dblp.uni-trier.de/db/conf/cade/cade2009.html#Stickel09 %V 5663 %@ 978-3-642-02958-5

@inproceedings{conf/cade/Stickel09, added-at = {2017-05-21T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2d46299b69d09202eac626422461ba453/dblp}, booktitle = {CADE}, crossref = {conf/cade/2009}, editor = {Schmidt, Renate A.}, ee = {https://doi.org/10.1007/978-3-642-02959-2_24}, interhash = {45b7ffb1e8040c49ac593b977b5d8771}, intrahash = {d46299b69d09202eac626422461ba453}, isbn = {978-3-642-02958-5}, keywords = {dblp}, pages = {306-321}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:13.000+0200}, title = {Building Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2009.html#Stickel09}, volume = 5663, year = 2009 }