Automated Deduction-Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science)
Add this copy of Automated Deduction-Cade-17: 17th International to cart. $7.75, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2000 by Springer.
Add this copy of Automated Deduction-Cade-17: 17th International to cart. $12.24, very good condition, Sold by Common Crow Books rated 5.0 out of 5 stars, ships from Pittsburgh, PA, UNITED STATES, published 2000 by Springer Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Near Fine. No Jacket. Published in 2000 by Springer-Verlag. Near fine soft back book with no dust jacket. All pages clean, crisp and unmarked. Wraps slightly bumped. Reading crease. Tight binding. Very nice copy. 512 pp. Octavo.
Automated Deduction-Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science, 1831)
Add this copy of Automated Deduction-Cade-17: 17th International to cart. $37.30, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2000 by Springer.
Add this copy of Automated Deduction - Cade-17: 17th International to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2000 by Springer.