Springer
9th International Conference on Automated Deduction (English, Ewing Lusk | Ross Overbeek)
₹5,283
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
About the Book
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving,…
ISBN: 9783540193432
Book Specifications
| ISBN-13 | 9783540193432 |
| ISBN-10 | 354019343X |
| Publisher | Springer |
| Category | Springer |
Frequently Asked Questions
What is the price of 9th International Conference on Automated Deduction?
9th International Conference on Automated Deduction is available at ₹5,283 on BookShops.in.
Does BookShops.in offer free delivery for 9th International Conference on Automated Deduction?
FREE delivery on all orders for 9th International Conference on Automated Deduction.
Is Cash on Delivery available for 9th International Conference on Automated Deduction?
Yes, Cash on Delivery (COD) is available for 9th International Conference on Automated Deduction on BookShops.in. Pay when your order arrives.
What is the return policy for 9th International Conference on Automated Deduction?
BookShops.in offers a 15-day hassle-free return policy for 9th International Conference on Automated Deduction. Contact us at support@bookshops.in or call +91 95575 56855.
Is 9th International Conference on Automated Deduction authentic?
9th International Conference on Automated Deduction is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Wiley
The Eyes of the Skin | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley | by Juhani Pallasmaa | Wiley
₹2,532
McGraw-Hill Education
Capital Allocation | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux | McGraw-Hill Education | by David Giroux |
₹5,087
Springer Publishing Company
Successful Aging Through the Life Span | by May L. Wykle | Peter J. Whitehouse | Diana L. Morris | Springer Publishing Company | by May L. Wykle | Peter J. Whitehouse | Diana L. Morris | Springer Publishing Company | by May L. Wykle | Peter J. Whitehouse | Diana L. Morris | Springer Publishing Company | by May L. Wykle | Peter J. Whitehouse | Diana L. Morris | Springer Publishing Company | by May L. Wykle | Peter J. Whitehouse | Diana L. Morris | Springer Publishing Company | by May L. Wykle | P
₹4,357
ELM Hill
Collected Thoughts | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty | ELM Hill | by Jenne Lichty
₹2,141
Springer
Hochwertiger Grauguß Und Die Physikalisch-Metallurgischen Grundlagen Seiner Herstellung | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwow
₹5,498
R & L Education
Demystify Math, Science, and Technology: Creativity, Innovation, and Problem-Solving | by Dennis Adams | Mary Hamm | Rowman & Littlefield Education | English | 2nd Edition
₹4,880
Related Products
View AllSpringer
Hochwertiger Grauguß Und Die Physikalisch-Metallurgischen Grundlagen Seiner Herstellung | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwowarsky | Springer | by Eugen Piwow
₹5,498
Springer
Umweltverträglichkeit in der Abfallwirtschaft | by Burkhard Heuel-Fabianek | Hans-Jürgen Schwefer | Joachim Sch | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1998 Edition
₹4,601
Springer
Atlas der Farbdopplerechokardiographie: Synopsis der nichtinvasiven Kardiologie | by Nikola Bogunovic | Hermann Mannebach | Harm Ohlmeier | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1988 Edition
₹3,508
Springer
Rechnernetze und Datenkommunikation | by Reinhold Franck | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1986 Edition
₹3,508
Springer
Pouch: Grundlagen · Funktion Technik · Ergebnisse | by V. Schumpelick | E. Schippers | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1998 Edition
₹5,425
Springer
Wirtschaftswachstum, Strukturwandel und dynamischer Wettbewerb: Ernst Helmstädter zum 65. Geburtstag | by H. Albach | Bernhard Gahlen | M. Beckmann | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1989 Edition
₹3,508