Sale!

Automated Theorem Proving

Name: Automated Theorem Proving
SKU: 9780387950754
Price: 12742.00 INR
Availability: InStock

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: Newborn, Springer

Weight	750 kg

Reviews

There are no reviews yet.

Be the first to review “Automated Theorem Proving”

Microeconomics Theory And Applications
Rated 5.00 out of 5
Original price was: ₹450.00.Current price is: ₹360.00.
Miller And Freunds Probabilityand Statistics For Engineers
Rated 0 out of 5
Original price was: ₹365.00.Current price is: ₹292.00.
Correct Your English Pronunciation
Rated 0 out of 5
Original price was: ₹295.00.Current price is: ₹236.00.
Wireless Network Security
Rated 0 out of 5
Original price was: ₹999.00.Current price is: ₹799.00.
Model Checking And Artificial Intelligence
Rated 0 out of 5
Original price was: ₹8,442.00.Current price is: ₹6,754.00.