Fuenmayor, David; Freie Universität Berlin > Philosophy
BENZMÜLLER, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
STEEN, Alexander ; Freie Universität Berlin > Mathematik und Informatik
Wsinieswki, Max; Freie Universität Berlin > Mathematik und Informatik
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument
Date de publication/diffusion :
2017
Nom de la manifestation :
The 2nd World Congress on Logic and Religion
Lieu de la manifestation :
Warsaw, Pologne
Date de la manifestation :
June 18-22, 2017
Manifestation à portée :
International
Titre de l'ouvrage principal :
The 2nd World Congress on Logic and Religion -- Book of Abstracts
Maison d'édition :
Instytut Filozofii Uniwersytetu Warszawskiego, Warsaw, Pologne
