Automated Deduction - Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings
Write The First Customer Review
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Trade paperback,
Good
1994, Springer
ISBN-13:
9780387581569
See Item Details ▾
Bonita
HIGH
Santa Clarita,
CA,
USA
£46.11
£105.72
Add to Basket
Add this copy of Automated Deduction-Cade-12: 12th International to cart. £46.11, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Springer-Verlag.
Edition: 1994, Springer
Trade paperback,
Good
Details: ISBN:
0387581561
ISBN-13:
9780387581569
Pages:
848
Publisher:
Springer
Published:
1994
Language:
English
Alibris ID:
18175440582
Shipping Options: Standard Shipping: £3.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
ISBN-13: 9780387581569
Trade paperback
