Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang (Author), Richard Char-Tung Lee (Author)

• New

  Illustrated
  1973

  $51.62

  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.