»
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

9780444508133

9780080532790

2128

Print Book

Hardcover

In Stock

Estimated Delivery Time
USD 540.00

eBook
eBook Overview

VST format:

DRM Free included formats: PDF

This product is currently not available.
 
 

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
FAQ