Handbook of Automated Reasoning

Handbook of Automated Reasoning by J. A. Robinson & Andrei Voronkov & Alan Robinson
QTY
-+
$129.99
 
 


ISBN
9780262182232
Date Released
Binding
Hardcover
Pages
2,122
Dimensions
172 x 248 x 102mm

Only available to order
Estimated 10 - 14 business days until dispatch

Other Titles by J. A. Robinson & Andrei Voronkov & Alan Robinson

Description
Information
ISBN:
9780262182232
Publication Date:
01 / 09 / 2001
Pages:
2122
Dimensions:
172 x 248 x 102mm

You might also like