Gödel's Ontological Argument Revisited -- Findings from a Computer-supported Analysis (invited) (bibtex)
by Christoph Benzmüller
Reference:
Gödel's Ontological Argument Revisited -- Findings from a Computer-supported Analysis (invited) (Christoph Benzmüller), In Handbook of the 1st World Congress on Logic and Religion, João Pessoa, Brazil (Ricardo Souza Silvestre, Jean-Yves Béziau, eds.), pp. 13, 2015. ((Invited abstract))
Bibtex Entry:
@inproceedings{C42,
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Handbook of the 1st World Congress on Logic and
                  Religion, Jo\~ao Pessoa, Brazil},
  Editor =	 {Ricardo Souza Silvestre and Jean-Yves B\'eziau},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Note =	 {(Invited abstract)},
  Pages =	 13,
  Title =	 {{G\"{o}del's} Ontological Argument Revisited --
                  Findings from a Computer-supported Analysis
                  (invited)},
  Url =
                  {http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf},
  Year =	 2015,
}
Powered by bibtexbrowser