Symbolic Logic and Mechanical Theorem Proving - Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) - Books - Elsevier Science Publishing Co Inc - 9780121703509 - November 19, 1997
In case cover and title do not match, the title is correct

Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)
Symbolic Logic and Mechanical Theorem Proving 1st edition

Price
$ 92.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be applied to various areas such as question answering, problem solving, and others.

331 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 19, 1997
Original release date 1973
ISBN13 9780121703509
Publishers Elsevier Science Publishing Co Inc
Pages 331
Dimensions 235 × 159 × 29 mm   ·   693 g
Language English  

See all of Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) ( e.g. Hardcover Book )