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 2010 by Springer.
