Options
A (Simplified) Supreme Being Necessarily Exists, says the Computer : Computationally Explored Variants of Gödel's Ontological Argument
Benzmüller, Christoph (2020): A (Simplified) Supreme Being Necessarily Exists, says the Computer : Computationally Explored Variants of Gödel’s Ontological Argument, in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, IJCAI Organization, S. 779–789, doi: 10.24963/kr.2020/80.
Author:
Title of the Journal:
Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning
ISSN:
2334-1033
Conference:
17th International Conference on Principles of Knowledge Representation and Reasoning, September 12-18, 2020 ; Rhodes, Greece
Publisher Information:
Year of publication:
2020
Pages:
ISBN:
978-0-9992411-7-2
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
Activation date:
September 21, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55649