Automation of reasoningJörg H. Siekmann

Automation of reasoning

Jörg H. Siekmann, Graham Wrightson · 1983

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 1983
Language: English
Publisher: Springer
Editions: 1
Pages: 525
ISBN: 9780387120430

Data source: Wikidata

More by Jörg H. Siekmann

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