%0 Conference Paper %1 conf/cade/FurbachPS15 %A Furbach, Ulrich %A Pelzer, Björn %A Schon, Claudia %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K %P 55-72 %T Automated Reasoning in the Wild. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#FurbachPS15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/FurbachPS15, added-at = {2023-12-12T17:13:30.000+0100}, author = {Furbach, Ulrich and Pelzer, Björn and Schon, Claudia}, biburl = {https://www.bibsonomy.org/bibtex/290339c5dbe9a1d136b5b831af28f8a8f/admin}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_3}, interhash = {008e6ae5a1b8a17cc74c23d97d53c345}, intrahash = {90339c5dbe9a1d136b5b831af28f8a8f}, isbn = {978-3-319-21400-9}, keywords = {}, pages = {55-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:13:30.000+0100}, title = {Automated Reasoning in the Wild.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#FurbachPS15}, volume = 9195, year = 2015 }