From Linear Operators to Computational Biology
Martin Davis
₹3,416
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference
by Martin Davis, Annabelle McIver, Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2015 · Paperback
₹4,307
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: 20th International Conference is written by Martin Davis, Annabelle McIver & others. This paperback edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2015) has 640 pages.
The book deals with Logic programming, Artificial intelligence, Automatic theorem proving and Reasoning.
Book details
- ISBN-13
- 9783662488980
- ISBN-10
- 3662488981
- Authors
- Martin Davis, Annabelle McIver, Andrei Voronkov
- Published
- 2015
- Edition
- 1st ed. 2015
- Binding
- Paperback
- Pages
- 640
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Martin Davis and related titles
Universal Computer
Martin Davis
₹3,590
Hilbert`s 10th Problem
Martin Davis, Yuri Matiyasevich, Hilary Putnam, Michael R. Garey, Albert Meyer
₹3,359
The Universal Computer
Martin Davis
₹11,573
Astrolocality Astrology
Martin Davis
₹1,914
Astrolocality Astrology
Martin Davis
₹3,136
The Undecidable
Martin Davis
₹1,809
Artificial Intelligence and Innovations 2007
Boukis C.
₹1,916
Stairs 2008
Starting Artificial Intelligence Researchers Symposium (4th 2008)
₹2,612
Medial Representations
M. A. Viergever
₹3,606
Running with Robots
Greg Toppo, Jim Tracy
₹1,584
Ki 2004
Susanne Biundo, Thom Frühwirth, Günther Palm
₹5,615