Automated Reasoning with Analytic Tableaux and Related Methods (English, Kai Brünnler | George Metcalfe)
by Kai Brünnler | George Metcalfe
Delivery options
₹5,534
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,534
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642221187
ISBN-10
3642221181
Author
Kai Brünnler | George Metcalfe
About the Book
This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analyt…
ISBN: 9783642221187
ISBN-13: 9783642221187
ISBN-10: 3642221181
Frequently Asked Questions
What is the price of Automated Reasoning with Analytic Tableaux and Related Methods?
Automated Reasoning with Analytic Tableaux and Related Methods starts from ₹5534 at GlowMirror. Available in Paperback.
Who is the author of Automated Reasoning with Analytic Tableaux and Related Methods?
Kai Brünnler | George Metcalfe is the author of Automated Reasoning with Analytic Tableaux and Related Methods. Browse more books by Kai Brünnler | George Metcalfe on GlowMirror.
Is Automated Reasoning with Analytic Tableaux and Related Methods available in Paperback and Hardcover?
Yes, Automated Reasoning with Analytic Tableaux and Related Methods is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Automated Reasoning with Analytic Tableaux and Related Methods?
Yes, GlowMirror offers free delivery for Automated Reasoning with Analytic Tableaux and Related Methods across India. No minimum order value required.
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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642221187
🛒 Customers Also Bought
Holzbau 2 (English, Gerhard Werner | Karl-Heinz Zimmer | Karl-Heinz Zimmer)
₹3,999
Elektrische Maschinen (English, Eckhard Spring)
₹5,074
Untersuchungsanleitungen Für Die Nuklearmedizinische Diagnostik Bei Erwachsenen Und Kindern (English, Sibylle Fischer | Kirsten Brinkbäumer)
₹5,694
Neuro-Ethologie (English, J. -P Ewert)
₹3,508
Chancen Für Das Deutsche Gesundheitssystem (English, Michael E. Porter | Clemens Guth)
₹4,965
Nuovi Modelli Di Business E Creazione Di Valore (English, Lino Cinquini | Alberto Di Minin | Riccardo Varaldo)
₹1,921Related Products
Klinische Psychotherapie (English, P. Hofmann | M. Lux | Ch Probst)
₹5,330
Palmprint Authentication (English, 16/F Maxdo Center)
₹5,397
Industrie-Rohrleitungsarmaturen (English, Hans J. Kecke | Paul Kleinschmidt)
₹4,374
Das Münchner Trainingsmodell (English, P. Innerhofer)
₹3,143
Quantenphysik (English, Hans Jörg Leisi)
₹5,330