Automated Verification and Reconstruction of Gödel's Proof of God's Existence (bibtex)
by Bruno Woltzenlogel Paleo, Christoph Benzmüller
Reference:
Automated Verification and Reconstruction of Gödel's Proof of God's Existence (Bruno Woltzenlogel Paleo, Christoph Benzmüller), In OCG Journal, 2013. ((Invited article))
Bibtex Entry:
@article{J29,
  Author =	 {Woltzenlogel Paleo, Bruno and Christoph
                  Benzm{\"u}ller},
  Journal =	 {OCG Journal},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Note =	 {(Invited article)},
  Title =	 {Automated Verification and Reconstruction of
                  {G\"odel's} Proof of {God's} Existence},
  Year =	 2013
}
Powered by bibtexbrowser