Distributed Computing and Internet Technology
Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida
₹3,776
Logic for Programming, Artificial Intelligence, and Reasoning
18th International Conference
by Nikolaj Bjørner, Andrei Voronkov
Springer · 2012
₹5,609
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference is written by Nikolaj Bjørner & Andrei Voronkov. This edition from Springer (2012).
Topics covered include Logic programming, Artificial intelligence, Automatic theorem proving and Reasoning.
Book details
- ISBN-13
- 9783642287169
- ISBN-10
- 3642287166
- Authors
- Nikolaj Bjørner, Andrei Voronkov
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Nikolaj Bjørner and related titles
Fm 2015
Nikolaj Bjørner, Frank de Boer
₹4,308
Programming Language Implementation and Logic Programming
Maurice Bruynooghe, Jaan Penjam
₹5,595
Automated Reasoning
Nicola Olivetti, Ashish Tiwari
₹6,229
Systemic Text Generation
Terry Patten
₹4,228
Probabilistic and Statistical Methods in Computer Science
René Schott, Jean-François Mari
₹7,746
Medical Image Understanding Technology
Ryszard Tadeusiewicz
₹10,100
Intelligent Infrastructure
Nastaran Dadashi, David Golightly, Sarah Sharples, Richard Bye
₹7,162
Extending Deontic Logic for the Formalisation of Legal Rules
L. L. Royakkers
₹12,802
AI-Powered IoT for Covid-19
Fadi Al-Turjman
₹10,000
DNA Computing and Molecular Programming
David Soloveichik, Bernard Yurke
₹4,197
Ethical Governance of Artificial Intelligence in the Public Sector
Maya Sherman, Liza Ireni-Saban
₹2,076