Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
by Bibel, Wolfgang (Editor), and Schmitt, P H (Editor)
Add this copy of Automated Deduction - A Basis for Applications Volume I to cart. $206.66, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1998 by Springer.
Automated Deduction-a Basis for Applications Volume I Foundations-Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9)
by Bibel, Wolfgang [Editor]; Schmitt, P.H. [Editor];
Add this copy of Automated Deduction-a Basis for Applications Volume I to cart. $238.60, new condition, Sold by GridFreed rated 4.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1998 by Springer.
Add this copy of Automated Deduction to cart. $249.08, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1998 by Springer.
