Add this copy of Automated Deduction? ? a Basis for Applications to cart. $171.89, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 1998 by Springer.
Add this copy of Automated Deduction? ? a Basis for Applications to cart. $175.03, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 1998 by Springer.
Add this copy of Automated Deduction? ? a Basis for Applications to cart. $179.02, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, 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. $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. $248.60, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from San Diego, CA, UNITED STATES, published 1998 by Springer.
