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)

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.