Handbook of Automated Reasoning

Handbook of Automated Reasoning, 1st Edition

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

Robinson   &   Voronkov   

North Holland



Print Book


In Stock

Estimated Delivery Time
USD 540.00

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.

Discount on all Earth,Environment and Energy Titles | Use Promo Code EARTH
Shop with Confidence

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