»
Handbook of Automated Reasoning
 
 

Handbook of Automated Reasoning, 1st Edition

 
Handbook of Automated Reasoning, 1st Edition,Alan Robinson,Andrei Voronkov,ISBN9780080532790
 
 
Up to
25%
off
 

Robinson   &   Voronkov   

North Holland

9780080532790

2128

eBook
eBook Overview

VST format:

DRM Free included formats: PDF

USD 378.75
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.

 
 
Save up to 25% on all Books
Shop with Confidence

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

Contact Us