Paperback (07 Jun 1996) | English,English,English,English,English,English,English,English
Not available for sale
Out of stock
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: | 9781493300242 |
| Publisher: | Academic Press |
| Imprint: | Academic Press |
| Pub date: | 07 Jun 1996 |
| Language: | English,English,English,English,English,English,English,English |
| Number of pages: | 331 |
| Weight: | -1g |
$5.88off
R for Data Science
Paperback
Published 20 Jan 2017
Save $5.88
$15.01off
Think Bayes
Paperback
Published 28 May 2021
Save $15.01
$17.53off
Statistical Tableau
Paperback
Published 14 May 2024
Save $17.53
$1.93off
Data Science
Paperback
Published 23 Aug 2024
Save $1.93
$7.27off
Introduction to Regression Meth...
Hardback
Published 19 Dec 2024
Save $7.27
Data Science
Hardback
Published 23 Aug 2024
$16.24off
Statistics Applied With the R C...
Paperback
Published 04 Sep 2024
Save $16.24
$4.70off
Mathematica Cookbook
Paperback
Published 25 May 2010
Save $4.70
$69.70off
Open Source Software for Statis...
Paperback
Published 30 Jan 2020
Save $69.70
$185.71off
Open Source Software for Statis...
Hardback
Published 30 Jan 2020
Save $185.71