Hardback (01 Jul 2001)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
| ISBN: | 9780444829498 |
| Publisher: | Elsevier Science |
| Imprint: | North Holland |
| Pub date: | 01 Jul 2001 |
| DEWEY: | 006.333 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 996 |
| Weight: | 2060g |
| Height: | 240mm |
| Width: | 165mm |
| Spine width: | 52mm |
$1.81off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.81
$1.31off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.31
$7.77off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.77
Every Bit Counts
Paperback
Published 13 Dec 2024
$8.70off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $8.70
$3.14off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save $3.14
$16.40off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.40
Smart-Tech Society
Paperback
Published 14 Jun 2024
