Automated Deduction - Cade-19 (English, Franz Baader)
by Franz Baader
Delivery options
₹5,636
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,636
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540405597
ISBN-10
3540405593
Author
Franz Baader
About the Book
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: - 4 contributions by invited speakers: one full paper and three short abstracts; - 29 accepted technical papers; - 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated the…
ISBN: 9783540405597
ISBN-13: 9783540405597
ISBN-10: 3540405593
Frequently Asked Questions
What is the price of Automated Deduction - Cade-19?
Automated Deduction - Cade-19 starts from ₹5636 at GlowMirror. Available in Paperback.
Who is the author of Automated Deduction - Cade-19?
Franz Baader is the author of Automated Deduction - Cade-19. Browse more books by Franz Baader on GlowMirror.
Is Automated Deduction - Cade-19 available in Paperback and Hardcover?
Yes, Automated Deduction - Cade-19 is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Automated Deduction - Cade-19?
Yes, GlowMirror offers free delivery for Automated Deduction - Cade-19 across India. No minimum order value required.
Is Cash on Delivery available for Automated Deduction - Cade-19?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-19 on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540405597
🛒 Customers Also Bought
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
Analyzing Health Equity Using Household Survey Data (English, Owen O'Donnell | Eddy Van Doorslaer | Adam Wagstaff)
₹2,599
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
In Their Own Words (English, C. Christine Fair)
₹4,768
An Introduction to Polynomial and Semi-Algebraic Optimization (English, Jean Bernard Lasserre)
₹17,378Related Products
Erfolgsfaktor Innovation (English, Ralph Berndt)
₹4,237
A-Z of Musculoskeletal and Trauma Radiology (English, James R. D. Murray | Erskine J. Holmes | Rakesh R. Misra)
₹14,903
The Practice of Electrocardiography (English, Thomas M. Blake)
₹5,612
Pilze (English, J. Webster | K. Esser | B. D. Epp)
₹4,601
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871