Sale!

Automated Reasoning With Analytic Tableaux And Related Methods

Name: Automated Reasoning With Analytic Tableaux And Related Methods
SKU: 9783540289319
Price: 5376.00 INR
Availability: InStock

Original price was: ₹6,720.00.Current price is: ₹5,376.00.

+ Free Shipping

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

Availability: 1 in stock

SKU: 9783540289319 Category: - Tags: Beckert, Springer

Weight	750 kg

Reviews

There are no reviews yet.

Be the first to review “Automated Reasoning With Analytic Tableaux And Related Methods”

Microeconomics Theory And Applications
Rated 5.00 out of 5
Original price was: ₹450.00.Current price is: ₹360.00.
Stellar Collapse
Rated 0 out of 5
Original price was: ₹18,759.06.Current price is: ₹15,007.00.
Introduction To Algebraic Geometry And Commutative Algebra
Rated 0 out of 5
Original price was: ₹1,402.92.Current price is: ₹1,122.00.
Analytic Methods In The Theory Of Differential And Pseudo Differential Equations Of Parabolic Type
Rated 0 out of 5
Original price was: ₹11,255.06.Current price is: ₹1,305.00.
Stochastic Storage Processes
Rated 0 out of 5
Original price was: ₹11,255.06.Current price is: ₹9,004.00.