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
Phylogenetische Systematik (English, Bernhard Wiesemüller | Hartmut Rothe | Winfried Henke)
₹3,143
Kraftfahrzeugemissionen Und Ozonbildung (English, Nicolas Moussiopoulos | Wolfgang Oehler | Klaus Zellner)
₹3,508
Festigkeitslehre (English, Rudolf Stark)
₹4,374
Algebraic Varieties (English, George R. Kempf)
₹4,564
Rauschen (English, Rudolf Müller)
₹5,118
Spektrum Der Zwangsstörungen (English, Gerhard Lenz | Ulrike Demal | Michael Bach)
₹5,330Related Products
Annegamento Soccorso Tecnico E Sanitario (English, Elvia Battaglia | Alessio Baghin)
₹5,579
Die Maske Der Scham (English, Leon Wurmser | A. Haynal)
₹5,330
Klinische Hypnose (English, Dirk Revenstorf)
₹4,965
Almost Periodic Oscillations and Waves (English, Constantin Corduneanu)
₹5,638
Die Constitution Der Materie (English, Heinrich Hertz | Albrecht Fölsing)
₹4,601