Handbook of Automated Reasoning. 2-Vol. Set
2-Volume Set
Hardback (28 Apr 2015)
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
| ISBN: | 9780262182232 |
| Publisher: | The MIT Press |
| Imprint: | The MIT Press |
| Pub date: | 28 Apr 2015 |
| Edition: | 2-Volume Set |
| Language: | English |
| Number of pages: | 2150 |
| Weight: | 4335g |
| Height: | 241mm |
| Width: | 165mm |
| Spine width: | 108mm |
We recommend
$0.32off
The Road to Conscious Machines
Paperback
Published 04 Mar 2021
Save $0.32
RRP $14.05- $13.73
$8.74off
Quick Start Guide to Large Lang...
Paperback
Published 03 Oct 2023
Save $8.74
RRP $48.56- $39.82
$2.55off
Fieldbus and Networking in Proc...
Paperback
Published 25 Sep 2023
Save $2.55
RRP $58.78- $56.23
