Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Woltzenlogel-Paleo, C. Benzmüller:
"Automating Gödel´s Ontological Proof of God´s Existence with Higher-order Automated Theorem Provers";
Vortrag: ECAI 2014,
Prag;
18.08.2014
- 22.08.2014; in: "Proceeding to ECAI 2014 - 21st European Conference on Artificial Intelligence",
T. Schaub et al. (Hrg.);
IOS Press,
(2014),
ISBN: 978-1-61499-418-3;
S. 93
- 98.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.3233/978-1-61499-419-0-93
Elektronische Version der Publikation:
http://dx.doi.org/10.3233/978-1- 61499-419-0-93.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.