Rules and Reasoning More Books by Christoph Benzmüller, Francesco Ricca, Xavier Parent & Dumitru Roman

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