Name Card

Full name Familienname, Vorname
Benzmüller, Christoph
 

Own Publications Eigene Publikationen


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Woltzenlogel-Paleo, Bruno ; Benzmüller, Christoph Formalization and Automated Verification of Gödel's Proof of God's ExistencePräsentation Presentation2014
2Woltzenlogel-Paleo, Bruno ; Benzmüller, Christoph Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem ProversKonferenzbeitrag Inproceedings2014

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Alama, Jesse Dialogues for proof searchKonferenzbeitrag Inproceedings2015