Author

Jörg H. Siekmann

7 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

7 books
8th International Conference on Automated Deduction

8th International Conference on Automated Deduction

Year unknown
Automation of reasoning

Automation of reasoning

Year unknown Jörg H. Siekmann and Graham Wrightson
Computational Logic

Computational Logic

Year unknown Dov M. Gabbay, Jörg H. Siekmann, and John Woods
Computational Logic

Computational Logic

Year unknown Dov M. Gabbay, Jörg H. Siekmann, and John Woods
Künstliche Intelligenz

Künstliche Intelligenz

Year unknown W. Bibel and Jörg H. Siekmann
Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Year unknown Jörg H. Siekmann, Dieter Hutter, and Werner Stephan
Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Year unknown Jörg H. Siekmann, Dieter Hutter, and Werner Stephan

Fetched from OpenLibrary. Some translations may appear as separate works.