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.
Add this copy of Automated Deduction - Cade-11: 11th International to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1992 by Springer.
Add this copy of Automated Deduction-Cade-11 to cart. $127.19, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1992 by Springer.
