- 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)
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.
To get the free app, enter your mobile phone number.
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
The Amazon Book Review
Author interviews, book reviews, editors picks, and more. Read it now
Browse award-winning titles. See more