Iname Books

Discover Books & Audiobooks you will love!

Popular by Christoph Benzmller Francesco Ricca Xavier Parent Dumitru Roman

Automated Reasoning
Automated Reasoning
Christoph Benzmüller, Marijn J.H. Heule & Renate A. Schmidt
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
Oliver Passon, Christoph Benzmüller & Brigitte Falkenburg
Rules and Reasoning
Rules and Reasoning
Christoph Benzmüller, Francesco Ricca, Xavier Parent & Dumitru Roman
Automated Reasoning
Automated Reasoning
Christoph Benzmüller, Marijn J.H. Heule & Renate A. Schmidt
Intelligent Computer Mathematics
Intelligent Computer Mathematics
Christoph Benzmüller & Bruce Miller
KI 2019: Advances in Artificial Intelligence
KI 2019: Advances in Artificial Intelligence
Christoph Benzmüller & Heiner Stuckenschmidt