%0 Conference Paper %1 conf/ecai/BenzmullerP14 %A Benzmüller, Christoph %A Paleo, Bruno Woltzenlogel %B ECAI %D 2014 %E Schaub, Torsten %E Friedrich, Gerhard %E O'Sullivan, Barry %I IOS Press %K dblp %P 93-98 %T Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#BenzmullerP14 %V 263 %@ 978-1-61499-419-0

@inproceedings{conf/ecai/BenzmullerP14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cfd397cb6e935907f93fbaf6093869a6/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2014}, editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry}, ee = {https://doi.org/10.3233/978-1-61499-419-0-93}, interhash = {6c683b7792bbf66baf1aa2f23bb64afb}, intrahash = {cfd397cb6e935907f93fbaf6093869a6}, isbn = {978-1-61499-419-0}, keywords = {dblp}, pages = {93-98}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2019-09-27T21:05:51.000+0200}, title = {Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#BenzmullerP14}, volume = 263, year = 2014 }