Search: Formalization, Mechanization And Automation Of
2013
[1] Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2013. (complete-formalisation) ((not reviewed, superseded by ECAI-2014 paper)) [bibtex] [pdf]
Powered by bibtexbrowser