Automated Theorem Proving

Original price was: ₹15,927.60.Current price is: ₹12,742.00.

+ Free Shipping

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

Availability: 1 in stock

SKU: 9780387950754 Category: Tags: ,
Weight 750 kg


There are no reviews yet.

Be the first to review “Automated Theorem Proving”

Your email address will not be published. Required fields are marked *

Shopping Cart
Scroll to Top