- We will send in 10–14 business days.
/images/books/2812111/9780121703509.jpg)
- Author: Chin-Liang Chang
- Publisher: Academic Press
- ISBN-10: 0121703509
- ISBN-13: 9780121703509
- Format: 16.1 x 23.6 x 2.7 cm, kieti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 22d.12:28:22
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Chin-Liang Chang
- Publisher: Academic Press
- ISBN-10: 0121703509
- ISBN-13: 9780121703509
- Format: 16.1 x 23.6 x 2.7 cm, kieti viršeliai
- Language: English English
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.
Reviews