%0 Conference Paper %1 conf/icms/BenzmullerS16 %A Benzmüller, Christoph %A Scott, Dana S. %B ICMS %D 2016 %E Greuel, Gert-Martin %E Koch, Thorsten %E Paule, Peter %E Sommese, Andrew J. %I Springer %K dblp %P 43-50 %T Automating Free Logic in Isabelle/HOL. %U http://dblp.uni-trier.de/db/conf/icms/icms2016.html#BenzmullerS16 %V 9725 %@ 978-3-319-42431-6

@inproceedings{conf/icms/BenzmullerS16, added-at = {2019-09-25T00:00:00.000+0200}, author = {Benzmüller, Christoph and Scott, Dana S.}, biburl = {https://www.bibsonomy.org/bibtex/2b9273571765e96138233f226fea52343/dblp}, booktitle = {ICMS}, crossref = {conf/icms/2016}, editor = {Greuel, Gert-Martin and Koch, Thorsten and Paule, Peter and Sommese, Andrew J.}, ee = {https://doi.org/10.1007/978-3-319-42432-3_6}, interhash = {c1760a4d8fb1b5ac3f972fa34a5ba70b}, intrahash = {b9273571765e96138233f226fea52343}, isbn = {978-3-319-42431-6}, keywords = {dblp}, pages = {43-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:40:27.000+0200}, title = {Automating Free Logic in Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2016.html#BenzmullerS16}, volume = 9725, year = 2016 }