www.binstitute.org"/> Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (bibtex)
Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Science & Spiritual Quest, Proceedings of the 9th All India Students' Conference, 30th October -- 1 November, 2015, IIT Kharagpur, India (Subhash C. Mishram, Ramgopal Uppaluri, Varun Agarwal, eds.), Bhaktivedanta Institute, Kolkata, www.binstitute.org, pp. 23-40, 2015. (slides) ((Invited paper))
Bibtex Entry:
@inproceedings{C52,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {Science \& Spiritual Quest, Proceedings of the 9th
                  All India Students' Conference, 30th October -- 1
                  November, 2015, IIT Kharagpur, India},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2015-AISSQ.pdf"
                  target="_blank">slides</a>},
  Editor =	 {Mishram, Subhash C. and Uppaluri, Ramgopal and
                  Agarwal, Varun},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Automated Reasoning, Ontology Reasoning,
                  Computational Metaphysics},
  Note =	 {(Invited paper)},
  Pages =	 {23-40},
  Publisher =	 {Bhaktivedanta Institute, Kolkata,
                  \url{www.binstitute.org}},
  Title =	 {Experiments in Computational Metaphysics:
                  {G\"odel's} Proof of God's Existence},
  Url =		 {http://christoph-benzmueller.de/papers/C52.pdf},
  Year =	 2015,
}
Powered by bibtexbrowser