Logic for Programming, Artificial Intelligence, and Reasoning (English, Nikolaj Bjørner | Andrei Voronkov)
by Nikolaj Bjørner | Andrei Voronkov
Delivery options
Logic for Programming, Artificial Intelligence, and Reasoning by Nikolaj Bjørner | Andrei Voronkov is listed under AI & Machine Learning on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Logic for Programming, Artificial Intelligence, and Reasoning
- ·Ideas and detail relevant to AI & Machine Learning
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in AI & Machine Learning, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
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.
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.
What is BookBajar's return policy on Logic for Programming, Artificial Intelligence, and Reasoning?
Logic for Programming, Artificial Intelligence, and Reasoning can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Logic for Programming, Artificial Intelligence, and Reasoning?
Logic for Programming, Artificial Intelligence, and Reasoning has ISBN 9783642287169 (ISBN-10: 3642287166). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Logic for Programming, Artificial Intelligence, and Reasoning?
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.
Product ID: isbn-9783642287169
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637