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 |
|
|


