Author
Jörg H. Siekmann
Automation of reasoning
Jörg H. Siekmann
Automation of reasoning
Mechanizing Mathematical Reasoning
Jörg H. Siekmann
Mechanizing Mathematical Reasoning
Handbook of the History of Logic
Dov M. Gabbay
Handbook of the History of Logic
Computational Logic
Dov M. Gabbay
Computational Logic
8th International Conference on Automated Deduction
Jörg H. Siekmann
8th International Conference on Automated Deduction
Künstliche Intelligenz
W. Bibel
Künstliche Intelligenz
Mechanizing mathematical reasoning
Jörg H. Siekmann
Mechanizing mathematical reasoning
No quotes yet. Add a line of Jörg H. Siekmann’s that stayed with you.