Jörg H. Siekmann
Jörg H. Siekmann
3 books in the database
Books
Mechanizing mathematical reasoningJörg H. Siekmann
Mechanizing mathematical reasoning
Jörg H. Siekmann · 2005
8th International Conference on Automated DeductionJörg H. Siekmann
8th International Conference on Automated Deduction
Jörg H. Siekmann · 1986
Automation of reasoningJörg H. Siekmann
Automation of reasoning
Jörg H. Siekmann · 1983
Co-authored books and collections
Books that list Jörg H. Siekmann among their authors but not as the lead author: co-written works, collections and compilations.