Mechanizing mathematical reasoningJörg H. Siekmann

Mechanizing mathematical reasoning

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

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2005
Language: English
Publisher: Springer
Editions: 3
Pages: 565
ISBN: 9783540250517

Data source: Wikidata

More by Jörg H. Siekmann

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