www.binstitute.org"/> Can Computers Help to Sharpen our Understanding of Ontological Arguments? (bibtex)
Can Computers Help to Sharpen our Understanding of Ontological Arguments? (bibtex)
by Christoph Benzmüller, David Fuenmayor
Reference:
Can Computers Help to Sharpen our Understanding of Ontological Arguments? (Christoph Benzmüller, David Fuenmayor), In Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science & Spiritual Quest (AISSQ), 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India (Sudipto Gosh, Ramgopal Uppalari, K. Vasudeva Rao, Varun Agarwal, Sushant Sharma, eds.), The Bhaktivedanta Institute, Kolkata, www.binstitute.org, pp. 195-226, 2018. (Url (preprint): http://doi.org/10.13140/RG.2.2.31921.84323)
Bibtex Entry:
@inproceedings{C74,
  Author =	 {Christoph Benzm{\"u}ller and Fuenmayor, David},
  Booktitle =	 {Mathematics and Reality, Proceedings of the 11th All
                  India Students' Conference on Science \& Spiritual
                  Quest (AISSQ), 6-7 October, 2018, IIT Bhubaneswar,
                  Bhubaneswar, India},
  Editor =	 {Gosh, Sudipto and Uppalari, Ramgopal and Rao,
                  K. Vasudeva and Agarwal, Varun and Sharma, Sushant},
  Keywords =	 {own, Ontological Argument, Computational
                  Metaphysics, Higher Order Logic, Semantic Embedding,
                  Modal Logics, Automated Reasoning, Ontology
                  Reasoning},
  Publisher =	 {The Bhaktivedanta Institute, Kolkata,
                  \url{www.binstitute.org}},
  Title =	 {Can Computers Help to Sharpen our Understanding of
                  Ontological Arguments?},
  Note =	 {Url (preprint): \url{http://doi.org/10.13140/RG.2.2.31921.84323}},
  pages =	 {195-226},
  isbn =	 {81-89635-31-X},
  Year =	 2018,
}
Powered by bibtexbrowser