Jörg H. Siekmann

No bio available. Add one in Open Library.

Books by Jörg H. Siekmann (50 max)

+ shelf+ list

Automation of reasoning

1983

Jörg H. Siekmann, Graham Wrightson

+ shelf+ list

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

2005

Jörg H. Siekmann, Dieter Hutter, Werner Stephan

+ shelf+ list

Künstliche Intelligenz: Frühjahrsschule, Teisendorf, 15.-24. März 1982

1982

W. Bibel, Jörg H. Siekmann

+ shelf+ list

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Computer Science)

1986

Jörg H. Siekmann

+ shelf+ list

Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

2005

Jörg H. Siekmann, Dieter Hutter, Werner Stephan

+ shelf+ list

Handbook of the History of Logic: Logic, a History of Its Central Concepts (Handbook of the History of Logic)

2008

Dov M. Gabbay, Jörg H. Siekmann, John Woods

+ shelf+ list

Computational Logic

2014

Dov M. Gabbay, Jörg H. Siekmann, John Woods