Year: 2012
2012
[7]Gödel's Unvollständigkeitssätze (Christoph Benzmüller), Freie Universität Berlin, Germany, 2012. (slides)
[6](Invited) Konzepte und Nutzen von Lambda-Ausdrücken in Java 8 (und Scala) (Christoph Benzmüller), Beuth Hochschule für Technik, Berlin, Germany, 2012. (slides)
[5]Implementing and Evaluating Provers for First-order Modal Logics (Christoph Benzmüller, Jens Otten), European Conference on Artificial Intelligence (ECAI-2012), Montpellier, France, 2012. (slides)
[4](Invited) LEO-II --- Eine universelle Logikmaschine (Christoph Benzmüller), Beuth Hochschule für Technik, Berlin, Germany, 2012.
[3](Invited) Automating Expressive Classical and Non-Classical Logics with LEO-II, Computer Science Colloquium (Christoph Benzmüller), Computer Science Colloquium, Freie Universität Berlin, Germany, 2012.
[2](Invited) Utilizing Higher-order Automated Theorem Provers as Universal Logic Engines (Christoph Benzmüller), Retirement Celebration of Peter Andrews, Carnegie Mellon University, USA, 2012. (slides)
[1](Invited) Utilizing Church's Type Theory as a Universal Logic (Christoph Benzmüller), Collegium Logicum Lecture Series, Kurt Gödel Society, Vienna, Austria, 2012. (slides)
Powered by bibtexbrowser