Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.
Automated Reasoning with ... has been added to your Cart

Ship to:
To see addresses, please
or
Please enter a valid US zip code.
or
+ $0.00 shipping
Used: Very Good | Details
Sold by -bearbooks-
Condition: Used: Very Good
Comment: Very good copy, minimal signs of use. We ship all orders daily, M-F, and have a superior Customer Service team. Buy with confidence.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings (Lecture Notes in Computer Science) Paperback – October 10, 2003


See all formats and editions Hide other formats and editions
Price
New from Used from
Paperback
$89.99
$82.87 $3.99
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


The Amazon Book Review
The Amazon Book Review
Author interviews, book reviews, editors picks, and more. Read it now
click to open popover

Product details

  • Series: Lecture Notes in Computer Science (Book 2796)
  • Paperback: 270 pages
  • Publisher: Springer; 2003 edition (October 10, 2003)
  • Language: English
  • ISBN-10: 3540407871
  • ISBN-13: 978-3540407874
  • Product Dimensions: 6.1 x 0.6 x 9.2 inches
  • Shipping Weight: 15.2 ounces (View shipping rates and policies)
  • Average Customer Review: Be the first to review this item
  • Amazon Best Sellers Rank: #17,485,576 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?

NO_CONTENT_IN_FEATURE

Book Awards
Browse award-winning titles. See more

Customer reviews

There are no customer reviews yet.
Share your thoughts with other customers

Set up an Amazon Giveaway

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings (Lecture Notes in Computer Science)
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway
This item: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings (Lecture Notes in Computer Science)