Add this copy of Automated Deduction: a Basis for Applications, Vol. 3: to cart. $40.45, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, 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
by Bibel, Wolfgang (Editor), and Schmitt, P H (Editor)
Add this copy of Automated Deduction - A Basis for Applications Volume I to cart. $159.69, 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
Add this copy of Automated Deduction-a Basis for Applications Volume I to cart. $182.67, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1998 by Springer.
