My Shopping Cart
The item "Automated Deduction - A Basis for Applications Volume I Foun..." has been added to your shopping cart. Your cart has1 items now.
Item Item Description Price Quantity SubTotal  
Books : Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
By W. Bibel
15987 Update Rs.15987
Cart Summary (1) Item Grand Total: 15987