Buy Used and New Andrei Voronkov Books

Results for Andrei Voronkov

Showing 13 to 19 of 19 results
Handbook of Automated Reasoning: Volume II Handbook of Automated Reasoning: Volume II by Alan J.A. Robinson,Andrei Voronkov

Handbook of Automated Reasoning: Volume II

by Alan J.A. Robinson,Andrei Voronkov


ISBN 13: 9780444508126

Format: Illustrated (1188 pages)
Publisher: North Holland
Published: 21 Jun 2001

Save for later

 
New : $199.89  
New : $199.89