COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Handbook of Automated Reasoning - 1st Edition - ISBN: 9780444508133, 9780080532790

Handbook of Automated Reasoning, Volume 1

1st Edition

Editors: Alan Robinson Andrei Voronkov
eBook ISBN: 9780080532790
Hardcover ISBN: 9780444508133
Imprint: North Holland
Published Date: 22nd June 2001
Page Count: 2128
Sales tax will be calculated at check-out Price includes VAT/GST
480.00
385.00
310.00
505.00
378.75
Unavailable
Price includes VAT/GST

eBook format help

Institutional Subscription

Support Center

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Details

No. of pages:
2128
Language:
English
Copyright:
© North Holland 2001
Published:
22nd June 2001
Imprint:
North Holland
eBook ISBN:
9780080532790
Hardcover ISBN:
9780444508133

Ratings and Reviews

About the Editors

Alan Robinson

Affiliations and Expertise

96 Highland Avenue, Greenfield, Massachusetts, USA

Andrei Voronkov

Affiliations and Expertise

University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.

Request Quote

Tax Exemption

We cannot process tax exempt orders online. If you wish to place a tax exempt order please contact us.