Home > > > Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

0 stars by 0 votes
Google Book Preview of Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Write a Review

Best Price: Rs. 6,175 - Rs. 6,175 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-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings Price in India

RediffBooks

Return Policy
Cash on Delivery ; EMI

6,175.00 Rs. 6,175 + 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