Christoph Benzmüller

Books
Automated Reasoning Automated Reasoning
Automated Reasoning
2024
Automated Reasoning Automated Reasoning
Automated Reasoning
2024
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
2023
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2020
KI 2019: Advances in Artificial Intelligence KI 2019: Advances in Artificial Intelligence
KI 2019: Advances in Artificial Intelligence
2019
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2018