Intelligent Computer Mathematics More Books by Christoph Benzmüller & Bruce Miller

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
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