Sale!

Automated Theorem Proving

Name: Automated Theorem Proving
SKU: 9780387950754
Availability: InStock

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: 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.
Effective Risk Management: Some Keys to Success (Library of Flight) [Hardcover] Conrow, Edmund H.
Rated 0 out of 5
Original price was: ₹6,819.00.Current price is: ₹5,455.00.
Navigation Principles Of Positioning And Guidance
Rated 0 out of 5
Original price was: ₹6,279.91.Current price is: ₹5,024.00.
Digital Typography Using Latex
Rated 0 out of 5
Original price was: ₹12,193.06.Current price is: ₹2,000.00.
Space Traffic Control (Progress in Astronautics and Aeronautics) [Hardcover] Eves, Stuart and Technology, Surrey Satellite
Rated 0 out of 5
Original price was: ₹6,999.00.Current price is: ₹5,599.00.