Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)
Hero image 0 of Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback), 0 of 1

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)

(No ratings yet)

Key item features

  • Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)
  • Author: Springer
  • ISBN: 9783540730989
  • Format: Paperback
  • Publication Date: 2007-06-21
  • Page Count: 250
Current price is $56.14
Price when purchased online
  • Free shipping
  • Free 30-day returns

How do you want your item?

Try 30 days for just $1! Choose a plan at checkout.
How do you want your item?
Ships to
Arrives by Thu, May 21
|
Sold and shipped by Alibris Books
4.568721643981852 stars out of 5, based on 11241 seller reviews(4.6)
Report an issue with this seller
Free 30-day returns
Other sellers
$54.99
+Free shipping
Shipping, arrives by Sat, May 16 to Columbus, 43215
Sold and shipped by Walmart.com
Free 90-day returns
$54.99
+ $7.98 shipping
Shipping, arrives by Wed, May 20 to Columbus, 43215
Sold and shipped by Best Prices & Service
Free 30-day returns
walmart plus

Try 30 days of Walmart+ for just $1!

T&C apply.

About this item

Product details

Specifications

Warranty

Customer ratings & reviews

0 ratings|0 reviews
This item does not have any reviews yet