Symbolic Logic and Mechanical Theorem Proving - Hardcover
$131.31
Skip to product information
Symbolic Logic and Mechanical Theorem Proving - Hardcover
$131.31
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
Details
This product is crafted with quality materials to ensure durability and performance. Designed with your convenience in mind, it seamlessly fits into your everyday life.
Shipping & Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.
We are committed to ensuring a positive shopping experience for all our customers. If for any reason you wish to return an item, we invite you to reach out to our team for assistance, and we will evaluate every return request with care and consideration.
