7th International Conference on Automated Deducation
Author:Shostak, R. E.
ISBN-13:
9780387960227
ISBN:
0387960228
Pub Date: 1984
Publisher: Springer
Ask this seller a question about this item
Most sellers respond to questions in 48 hours or less. The seller's response will be emailed to you.
Product Details
Pub Date: 1984
Publisher: Springer
ISBN-13: 9780387960227
ISBN: 0387960228
Pub Date: 1984
Publisher: Springer
www.ValoreBooks.com is hard to beat for cheap 7th International Conference on Automated Deducation rentals, or new and used copies ready to be shipped fast.
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?