Hardback (19 Nov 1997)
Save $5.68
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9780121703509 |
| Publisher: | Elsevier Science |
| Imprint: | Academic Press |
| Pub date: | 19 Nov 1997 |
| DEWEY: | 511.3 |
| DEWEY edition: | 19 |
| Language: | English |
| Number of pages: | 331 |
| Weight: | 648g |
| Height: | 159mm |
| Width: | 235mm |
| Spine width: | 29mm |
$7.54off
Paperback
Published 30 Sep 2016
Save $7.54
$9.15off
Hardback
Published 06 Jul 2023
Save $9.15
$1.83off
Paperback
Published 26 Jul 2023
Save $1.83
$4.71off
Paperback
Published 26 Jun 2023
Save $4.71
