Logic for Programming, Artificial Intelligence, and Reasoning (English, Nikolaj Bjørner | Andrei Voronkov)
by Nikolaj Bjørner | Andrei Voronkov
Delivery options
₹5,609
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,609
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642287169
ISBN-10
3642287166
Author
Nikolaj Bjørner | Andrei Voronkov
About the Book
This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a foru…
ISBN: 9783642287169
ISBN-13: 9783642287169
ISBN-10: 3642287166
Frequently Asked Questions
What is the price of Logic for Programming, Artificial Intelligence, and Reasoning?
Logic for Programming, Artificial Intelligence, and Reasoning starts from ₹5609 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Logic for Programming, Artificial Intelligence, and Reasoning?
Nikolaj Bjørner | Andrei Voronkov is the author of Logic for Programming, Artificial Intelligence, and Reasoning. Browse more books by Nikolaj Bjørner | Andrei Voronkov on BookBajar.
Is Logic for Programming, Artificial Intelligence, and Reasoning available in Paperback and Hardcover?
Yes, Logic for Programming, Artificial Intelligence, and Reasoning is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Logic for Programming, Artificial Intelligence, and Reasoning?
Yes, BookBajar offers free delivery for Logic for Programming, Artificial Intelligence, and Reasoning across India. No minimum order value required.
Is Cash on Delivery available for Logic for Programming, Artificial Intelligence, and Reasoning?
Yes, Cash on Delivery (COD) is available for Logic for Programming, Artificial Intelligence, and Reasoning on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642287169
🛒 Customers Also Bought
Die Elektronenröhre ALS Physikalisches Meßgerät (English, Josef Schintlmeister)
₹3,703
Stimmung ALS Information (English, Norbert Schwarz)
₹4,144
Digital Sociology (English, Hardcover, Deborah Lupton)
₹4,014
Angewandte Elektrizitätslehre (English, Paul Eversheim)
₹4,186
Source Book of Flavors (English, Henry B. Heath)
₹4,403
Jenseits Des Rubikon (English, Heinz Heckhausen | Peter M. Gollwitzer | Franz E. Weinert)
₹5,867Related Products
An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹4,327
Linear Algebra and Geometry (English, Igor R. Shafarevich)
₹5,857
Energetic Compounds: Methods for Prediction of their Performance (English, Paperback)
₹2,700
I Want to be a Mathematician (English, P. R. Halmos)
₹4,678
Electrochemical Cell Calculations with Openfoam (English, Steven Beale)
₹4,790