%0 Book Section %1 Furbach:2015uq %A Furbach, Ulrich %A Pelzer, Björn %A Schon, Claudia %B Automated Deduction - CADE-25 %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer International Publishing %K myown schon west.uni-koblenz.de %P 55-72 %R 10.1007/978-3-319-21401-6_3 %T Automated Reasoning in the Wild %U http://dx.doi.org/10.1007/978-3-319-21401-6_3 %V 9195 %@ 978-3-319-21400-9

@incollection{Furbach:2015uq, added-at = {2016-10-07T08:37:10.000+0200}, author = {Furbach, Ulrich and Pelzer, Bj{\"o}rn and Schon, Claudia}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-21401-6_3}, biburl = {https://www.bibsonomy.org/bibtex/245c3f304b37096439ec7306af07f0950/cschon}, booktitle = {Automated Deduction - CADE-25}, date-added = {2015-10-27 11:15:39 +0000}, date-modified = {2015-10-27 11:15:41 +0000}, doi = {10.1007/978-3-319-21401-6_3}, editor = {Felty, Amy P. and Middeldorp, Aart}, interhash = {008e6ae5a1b8a17cc74c23d97d53c345}, intrahash = {45c3f304b37096439ec7306af07f0950}, isbn = {978-3-319-21400-9}, keywords = {myown schon west.uni-koblenz.de}, language = {English}, pages = {55-72}, publisher = {Springer International Publishing}, series = {Lecture Notes in Computer Science}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {Automated Reasoning in the Wild}, url = {http://dx.doi.org/10.1007/978-3-319-21401-6_3}, volume = 9195, year = 2015 }