Home > > > Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: 13th: Cade-13, International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 - Proceedings

Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: 13th: Cade-13, International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 - Proceedings

0 stars by 0 votes
Google Book Preview of Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: 13th: Cade-13, International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 - Proceedings
Write a Review

Best Price: Rs. 10,536 - Rs. 10,536 Compare prices from 1 sellers »

Book Details

Format
Binding Paperback
Overview
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Store Locator
Books Local Stores

Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: 13th: Cade-13, International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 - Proceedings Price in India

RediffBooks

Return Policy
Cash on Delivery ; EMI

10,536.00 Rs. 10,536 + FREE Shipping

Local stores for Books

or Find Shops Near Me
Shop NameAddressDistancePhone NumberMap & Direction
Does your store sale this book?
ADD YOUR STORE

Google Preview

Price Alert