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

Symbolic Logic and Mechanical Theorem Proving 1st edition

Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA)

Price
₩ 125,900
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 22 - Aug 4

Our customers say:

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

Symbolic Logic and Mechanical Theorem Proving 1st edition

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 May 28, 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 )