Speaking Minds – Interviews with Twenty Eminent Cogitive Scientists (Paper)
Peter Baumgartner
₹2,826
Theory Reasoning in Connection Calculi
Springer · 1998 · Paperback
₹5,521
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
Theory Reasoning in Connection Calculi by Peter Baumgartner is a 283-page paperback edition published by Springer in 1998.
Topics covered include Automatic theorem proving, Computer science, Artificial intelligence and Symbolic and mathematical Logic.
Book details
More by Peter Baumgartner and related titles
Theorem Proving with Analytic Tableaux and Related Methods
Peter Baumgartner, Reiner Hähnle, Joachim Posegga
₹5,561
Speaking Minds – Interviews with Twenty Eminent Cognitive Scientists
Peter Baumgartner
₹4,067
Advances in Artificial Life and Evolutionary Computation
Clara Pizzuti, Giandomenico Spezzano
₹4,214
Cambrian Intelligence
Rodney A. Brooks
₹4,399
Binary Digital Image Processing
Stephane Marchand-Maillet, Yazid M. Sharaiha
₹8,972
Social Robotics
Haizhou Li, John-John Cabibihan, Yeow Kee Tan
₹5,822
Making Things Move DIY Mechanisms for Inventors, Hobbyists, and Artists
Dustyn Roberts
₹3,336
Guilty Robots, Happy Dogs
David McFarland
₹3,697
Ai '88
C. J. Barter, M. J. Brooks
₹4,284
Transactions on Intelligent Welding Manufacturing
Shanben Chen, Yuming Zhang, Zhili Feng
₹11,542
Humanoid Robots
Atsushi Konno, Dragomir N. Nenchev
₹8,747