Logic Programming and Automated Reasoning (English, Andrei Voronkov)
Delivery options
₹5,639
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 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: ₹5,639
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540557272
ISBN-10
354055727X
Author
Andrei Voronkov
About the Book
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathemati…
ISBN: 9783540557272
ISBN-13: 9783540557272
ISBN-10: 354055727X
Frequently Asked Questions
What is the price of Logic Programming and Automated Reasoning?
Logic Programming and Automated Reasoning starts from ₹5639 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Logic Programming and Automated Reasoning?
Andrei Voronkov is the author of Logic Programming and Automated Reasoning. Browse more books by Andrei Voronkov on BookBajar.
Is Logic Programming and Automated Reasoning available in Paperback and Hardcover?
Yes, Logic Programming and Automated Reasoning is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Logic Programming and Automated Reasoning?
Yes, BookBajar offers free delivery for Logic Programming and Automated Reasoning across India. No minimum order value required.
Is Cash on Delivery available for Logic Programming and Automated Reasoning?
Yes, Cash on Delivery (COD) is available for Logic Programming and Automated Reasoning on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540557272
🛒 Customers Also Bought
Fluidik (English, Alfred W. Rechten)
₹4,179
Trinkwasser (English, Irmgard Alexander | Karl-Ernst Quentin | Dieter Eichelsdörfer)
₹4,957
Technischwissenschaftliche Abhandlungen Der Osram-Gesellschaft (English, F. Abshagen | E. G. Andresen | G. Aschermann)
₹5,901
Leitfaden Für Baukunde Insbesondere Für Stahlbau (English, Leonhard Geusen | Erich Wichmann)
₹4,287
Die Kritischen Drehzahlen Wichtiger Rotorformen (English, Karl Karas)
₹5,989
Produktgestaltung (English, I. Klöcker)
₹2,567Related Products
Function Theory on Manifolds Which Possess a Pole (English, R. E. Greene | H. Wu)
₹4,009
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141
Advances in Cryptology (English, Hugh C. Williams)
₹5,656
Differential- Und Integralrechnung III (English, H. Grauert | I. Lieb)
₹5,705
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817