Abstraction in Artificial Intelligence and Complex Systems
Jean-Daniel Zucker, Lorenza Saitta
₹10,791
A Resolution Principle for a Logic with Restricted Quantifiers
Springer · 1991
₹5,437
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹4,948 for this book (save ₹489).
9% off every book, up to ₹500 off per order.
About this book
The book is part of the Lecture notes in computer science series.
Topics covered include Automatic theorem proving, Symbolic and mathematical Logic, Logic programming and Artificial intelligence.
Book details
- ISBN-13
- 9783540550341
- ISBN-10
- 3540550348
- Author
- Hans-Jürgen Bürckert
- Publisher
- Springer
- Published
- 1991
- Series
- Lecture notes in computer science
- Pages
- 116
- Language
- English
- Condition
- New
- Subject
- AI & Intelligent Systems
More in AI & Intelligent Systems
Formal Aspects of Context
Pierre Bonzon, Rolf Nossum
₹7,772
Beyond Data
Alessandro Mantelero
₹3,195
Parsing the Turing Test
Robert Epstein, Gary Roberts
₹17,502
Knowledge Representation for Health Care
David Riaño, Richard Lenz, Mor Peleg, Manfred Reichert, Annette ten Teije
₹3,171
Artificial Intelligence
Charles Jennings
₹1,691
Structure of Thinking
Laura E. Weed
₹5,329
Introduction to Artificial Intelligence
Wolfgang Ertel
₹2,514
Sat 2005
Enrico Giunchiglia, Toby Walsh
₹8,622
Artificial Intelligence for Dummies
Luca Massaron, John Paul Mueller
₹2,365
Belief Functions - Theory and Applications
Thierry Denoeux
₹5,057
The Path to Autonomous Robots
Gaurav S. Sukhatme
₹5,734