Symbolic Logic and Mechanical Theorem Proving - Hardcover

Symbolic Logic and Mechanical Theorem Proving - Hardcover

$147.07
$147.07
Skip to product information
Symbolic Logic and Mechanical Theorem Proving - Hardcover
  • Symbolic Logic and Mechanical Theorem Proving - Hardcover
Symbolic Logic and Mechanical Theorem Proving - Hardcover

Symbolic Logic and Mechanical Theorem Proving - Hardcover

$147.07
$147.07

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

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.

Number of Pages: 331
Dimensions: 1.05 x 9.3 x 6.34 IN
Illustrated: Yes
Publication Date: May 28, 1973

Intentional design

We make things that work better and last longer. Our products solve real problems with clean design.

Quality first

We obsess over the details and strive to deliver the best products at the best prices, every time.

Customer care

We're always on your side: keeping our loyal customers happy is our top priority and number one goal.

Feature 1

Made with care and unconditionally loved by our customers, this signature bestseller exceeds all expectations.

Feature 2

Made with care and unconditionally loved by our customers, this signature bestseller exceeds all expectations.

At the heart of every product lies a unique story, driven by our passion for quality and innovation. Each item enhances your everyday life and sparks joy.