Formalization, Mechanization and Automation of Gödel's Proof of God's Existence. Informatik Kolloquium, Freie Universität Berlin, Germany, 2013. slides
bibtex   
@book{Talk177,
	OPTAuthor = {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-FUBerlin.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Informatik Kolloquium, Freie Universit\"at Berlin, Germany},
	Title = {Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence},
	Year = 2013}

Downloads: 0