Clicky

Books by Jörg H. Siekmann and similar authors - Bookscovery

Home > Authors > Jörg H. Siekmann

Jörg H. Siekmann

All books by Jörg H. Siekmann

(Displaying 2 Books)

Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Jörg H. Siekmann

Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Jörg H. Siekmann

Looking for another book by Jörg H. Siekmann? Search for the book by title.