Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
Back to School Savings: Save up to 30% on print books and eBooks. No promo code needed.
Back to School Savings: Save up to 30%
Handbook of Automated Reasoning
1st Edition - June 22, 2001
Editors: Alan J.A. Robinson, Andrei Voronkov
eBook ISBN:
9 7 8 - 0 - 0 8 - 0 5 3 2 7 9 - 0
Purchase Options
- No. of pages: 2128
- Language: English
- Published: June 22, 2001
- Imprint: North Holland
- eBook ISBN: 9780080532790
AR
Alan J.A. Robinson
Affiliations and expertise
96 Highland Avenue, Greenfield, Massachusetts, USAAV
Andrei Voronkov
Affiliations and expertise
University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.