Sale!

Automated Theorem Proving

Original price was: ₹15,927.60.Current price is: ₹6,146.10.

+ Free Shipping

Author : Newborn
Publisher : Springer
Publish Year : 0
Subject : –

Availability: 1 in stock

SKU: 9780387950754 Category: Tags: ,
Weight 750 kg
Shopping Cart