KI 2019: Advances in Artificial Intelligence KI 2019: Advances in Artificial Intelligence
2019
Automated Reasoning Automated Reasoning
2024
Automated Reasoning Automated Reasoning
2024
Rules and Reasoning Rules and Reasoning
2018
Intelligent Computer Mathematics Intelligent Computer Mathematics
2020
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