Skip to main content

Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.

Save up to 30% on print and eBooks.

Symbolic Logic and Mechanical Theorem Proving

  • 1st Edition - May 28, 1973
  • Authors: Chin-Liang Chang, Richard Char-Tung Lee
  • Language: English
  • Hardback ISBN:
    9 7 8 - 0 - 1 2 - 1 7 0 3 5 0 - 9
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 9 1 7 2 8 - 3

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters… Read more

Symbolic Logic and Mechanical Theorem Proving

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Institutional subscription on ScienceDirect

Request a sales quote
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.