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

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

Price
Íkr 11,429
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 14 - 28
Get notified about new Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) releases

Our customers say:

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

Not rated yet

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  

More from the same publisher

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