Talks and Poster Presentations (with Proceedings-Entry):
B. Woltzenlogel-Paleo, C. Benzmüller:
"Automating Gödelīs Ontological Proof of Godīs Existence with Higher-order Automated Theorem Provers";
Talk: ECAI 2014,
Prag;
2014-08-18
- 2014-08-22; in: "Proceeding to ECAI 2014 - 21st European Conference on Artificial Intelligence",
T. Schaub et al. (ed.);
IOS Press,
(2014),
ISBN: 978-1-61499-418-3;
93
- 98.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.3233/978-1-61499-419-0-93
Electronic version of the publication:
http://dx.doi.org/10.3233/978-1- 61499-419-0-93.
Created from the Publication Database of the Vienna University of Technology.