Search: Ontological Proof Of God's Existence
[1] Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In ECAI 2014 (Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, volume 263, pp. 93 -- 98, 2014. (slides) ((Acceptance rate $\leq 28\%$)) [bibtex] [pdf] [doi]
Powered by bibtexbrowser