Sciences, Technology & Medicine
Automated Reasoning with Analytic Tableaux and Related Methods (English, Uwe Egly | Christian G. Fernmüller)
₹5,672
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540439295 |
| ISBN-10 | 3540439293 |
Product Description
About the Book
This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 - August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002). This c- ference was the continuation of international meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St. Goar (1995),…
ISBN: 9783540439295
Frequently Asked Questions
What is the price of Automated Reasoning with Analytic Tableaux and Related Methods?
Automated Reasoning with Analytic Tableaux and Related Methods is available at ₹5,672 on BookShops.in.
Does BookShops.in offer free delivery for Automated Reasoning with Analytic Tableaux and Related Methods?
FREE delivery on all orders for Automated Reasoning with Analytic Tableaux and Related Methods.
Is Cash on Delivery available for Automated Reasoning with Analytic Tableaux and Related Methods?
Yes, Cash on Delivery (COD) is available for Automated Reasoning with Analytic Tableaux and Related Methods on BookShops.in. Pay when your order arrives.
What is the return policy for Automated Reasoning with Analytic Tableaux and Related Methods?
BookShops.in offers a 15-day hassle-free return policy for Automated Reasoning with Analytic Tableaux and Related Methods. Contact us at support@bookshops.in or call +91 81899 68108.
Is Automated Reasoning with Analytic Tableaux and Related Methods authentic?
Automated Reasoning with Analytic Tableaux and Related Methods is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-43%Sciences, Technology & Medicine
Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)
₹5,311₹9,385
-78%Sciences, Technology & Medicine
Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)
₹5,209₹23,985
Sciences, Technology & Medicine
Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)
₹4,788
Sciences, Technology & Medicine
Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)
₹4,327
-74%Sciences, Technology & Medicine
Financial Products (English, Bill Dalton)
₹5,108₹19,961
-62%Sciences, Technology & Medicine
Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)
₹5,407₹14,329