We are currently upgrading our print fulfillment systems. Print book orders placed between Sept 22 and Oct 9 will be delayed. Delivery of these orders will start on Oct 10, with purchases being fulfilled in the order received. Buy the Print and get eBook immediately for FREE. Use Code BOGO. Or save up to 40% on all orders with code: DELTA. Exclusions apply. Click here for terms and conditions.
Handbook of Automated Reasoning

Handbook of Automated Reasoning, 1st Edition

Handbook of Automated Reasoning, 1st Edition,Alan Robinson,Andrei Voronkov,ISBN9780080532790

Robinson   &   Voronkov   

North Holland



eBook Overview

VST format:

DRM Free included formats: PDF

USD 505.00
Add to Cart

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.

Shop with Confidence

Free Shipping around the world
▪ Broad range of products
▪ 30 days return policy