Automated Deduction-Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-18, 1992. Proceedings (Lecture.../ Lecture Notes in Artificial Intelligence)
Add this copy of Automated Deduction-Cade-11: 11th International to cart. $88.33, good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1992 by Springer.
