Delivery included to the United States

Handbook of Automated Reasoning. Volume 1

Handbook of Automated Reasoning. Volume 1

Hardback (11 Jan 2017)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780262182218
Publisher: The MIT Press
Imprint: The MIT Press
Pub date:
Language: English
Number of pages: 981
Weight: 1983g
Height: 241mm
Width: 165mm
Spine width: 50mm