Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
₹4,330
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference
Springer · 1997 · Paperback
₹5,569
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
Published by Springer in 1997, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference by Didier Galmiche runs to 373 pages in paperback. It belongs to the Lecture notes in computer science series.
Topics covered include Software engineering, Artificial Intelligence (incl. Robotics), Computer science and Logic design.
Book details
- ISBN-13
- 9783540629207
- ISBN-10
- 3540629203
- Author
- Didier Galmiche
- Publisher
- Springer
- Published
- 1997
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 373
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Didier Galmiche and related titles
Grundlagen Und Anwendungen Der Künstlichen Intelligenz
Otthein Herzog, Thomas Christaller, Dieter Schütt
₹3,508
Information Dynamics in Cognitive, Psychological, Social, and Anomalous Phenomena
Andrei Y. Khrennikov
₹4,278
Ontology-Driven Software Development
Jeff Z. Pan, Steffen Staab, Yuting Zhao
₹8,285
Distributed Artificial Intelligence
Chengqi Zhang, Dickson Lukose
₹5,583
Artificial Neural Networks for Intelligent Manufacturing
Cihan H. Dagli
₹12,067
Hardware and Software
Kerstin Eder
₹3,656
Context-Aware Ranking with Factorization Models
Steffen Rendle
₹11,851
Software Engineering and Formal Methods
George Eleftherakis, Mike Hinchey, Mike Holcombe
₹4,263
Progress in Artificial Intelligence
Pedro Barahona, Jose J. Alferes
₹5,822
Twitter Data Analytics
Fred Morstatter, Huan Liu, Shamanth Kumar
₹4,203
Probabilistic Approaches to Robotic Perception
Jorge Dias, Joao Filipe Ferreira
₹3,716