Handbook of Automated Reasoning, Volume 1
1st Edition
Editors:
Alan Robinson
Andrei Voronkov
Hardcover ISBN: 9780444508133
eBook ISBN: 9780080532790
Imprint: North Holland
Published Date: 22nd June 2001
Page Count: 2128
View all volumes in this series: Handbook of Automated Reasoning
Secure Checkout
Personal information is secured with SSL technology.Free Shipping
Free global shippingNo minimum order.
Details
- No. of pages:
- 2128
- Language:
- English
- Copyright:
- © North Holland 2001
- Published:
- 22nd June 2001
- Imprint:
- North Holland
- Hardcover ISBN:
- 9780444508133
- eBook ISBN:
- 9780080532790
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.
Elsevier.com visitor survey
We are always looking for ways to improve customer experience on Elsevier.com.
We would like to ask you for a moment of your time to fill in a short questionnaire, at the end of your visit.
If you decide to participate, a new browser tab will open so you can complete the survey after you have completed your visit to this website.
Thanks in advance for your time.