Automated Deduction - Cade-11 (English, Deepak Kapur)
by Deepak Kapur
Delivery options
₹11,773
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹11,773
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540556022
ISBN-10
3540556028
Author
Deepak Kapur
About the Book
This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint…
ISBN: 9783540556022
ISBN-13: 9783540556022
ISBN-10: 3540556028
Frequently Asked Questions
What is the price of Automated Deduction - Cade-11?
Automated Deduction - Cade-11 starts from ₹11773 at BookBajar. Available in Paperback.
Who is the author of Automated Deduction - Cade-11?
Deepak Kapur is the author of Automated Deduction - Cade-11. Browse more books by Deepak Kapur on BookBajar.
Is Automated Deduction - Cade-11 available in Paperback and Hardcover?
Yes, Automated Deduction - Cade-11 is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automated Deduction - Cade-11?
Yes, BookBajar offers free delivery for Automated Deduction - Cade-11 across India. No minimum order value required.
Is Cash on Delivery available for Automated Deduction - Cade-11?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-11 on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540556022
🛒 Customers Also Bought
An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹16,497
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Chemoarchitecture of the Brain (English, R. Nieuwenhuys)
₹5,648
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171Related Products
Io: A New View of Jupiter’s Moon (English, Rosaly M. C. Lopes | Katherine de Kleer | James Tuttle Keane)
₹11,975
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Sternverzeichnis Enthaltend Alle Sterne Bis Zur 6.5ten Grösse Für Das Jahr 1900.0 (English, Na Ambronn)
₹3,508
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229