Options
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
Fuenmayor, David; Benzmüller, Christoph (2017): „Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic“. Cham: Springer doi: 10.1007/978-3-319-67190-1_9.
Author:
Title of the Journal:
Lecture Notes in Artificial Intelligence
Title of the compilation:
KI 2017: Advances in Artificial Intelligence
Editors:
Kern-Isberner, G., Fürnkranz, J., Thimm, M.
ISSN:
1611-3349
0302-9743
Conference:
40th Annual German Conference on AI ; Dortmund, Germany
Publisher Information:
Year of publication:
2017
Volume:
10505
Pages:
ISBN:
978-3-319-67190-1
978-3-319-67189-5
Series:
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
published:
October 14, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55966