Automated Reasoning Más libros de Christoph Benzmüller, Marijn J.H. Heule & Renate A. Schmidt

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
Rules and Reasoning Rules and Reasoning
2018