Automated Reasoning with Analytic Tableaux and Related Methods 24th In
In stock
Smart shoppers OnBuy it!
- Earn Cashback on every purchase – spend it instantly on your next order
- Free delivery – on millions of items across the site
- Customers love us – 134,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Thu 17th - Sat 19th Sep
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
Automated Reasoning with Analytic Tableaux and Related Methods 24th In Description
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named tableaux calculi sequent calculus resolution other calculi and applications.
Details
| OPC | PXHBP7Z |
|---|---|
| Brand | riachristiecollections |
| Codes | 331924311X (ISBN-10) |
| 9783319243115 (ISBN) | |
| MPN | 9783319243115 |
Compare Sellers for Automated Reasoning with Analytic Tableaux and Related Methods 24th In
- New from £61.12
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£61.12
|
+Free Delivery
Est. Delivery:
17th-19th Sep
|
£61.12
|
Earn as you shop with instant Cashback on everything.
No catch, no cost
- Paid into your OnBuy account
- Spend it on your next purchase
- Save it or withdraw it
Become a Cashback VIP
Just 1 purchase unlocks bigger deals & rates