![Handbook of Automated Reasoning. Volume 1](/jacket/500x500/9780262182218.jpg)
Handbook of Automated Reasoning. Volume 1
Hardback (11 Jan 2017)
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
ISBN: | 9780262182218 |
Publisher: | The MIT Press |
Imprint: | The MIT Press |
Pub date: | 11 Jan 2017 |
Language: | English |
Number of pages: | 981 |
Weight: | 1983g |
Height: | 241mm |
Width: | 165mm |
Spine width: | 50mm |