Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Jörg H. Siekmann
Jörg H. Siekmann
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
7
Computational Logic
Künstliche Intelligenz
Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
8th International Conference on Automated Deduction
Automation of reasoning
Computational Logic