Catalogue of Artificial Intelligence Tools
Alan Bundy, A. Bundy
₹7,665
Rippling
Meta-Level Guidance for Mathematical Reasoning
by Alan Bundy, David Basin, Dieter Hutter
Cambridge University Press · 2005 · Hardcover
₹5,117
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
Rippling: Meta-Level Guidance for Mathematical Reasoning by Alan Bundy, David Basin & others is a 216-page hardcover edition published by Cambridge University Press in 2005.
Topics covered include Automatic theorem proving, Symbolic and mathematical Logic, Mathematical logic and Computer Books: General.
Book details
- ISBN-13
- 9780521834490
- ISBN-10
- 052183449X
- Authors
- Alan Bundy, David Basin, Dieter Hutter
- Publisher
- Cambridge University Press
- Published
- 2005
- Binding
- Hardcover
- Pages
- 216
- Language
- English
- Condition
- New
- Subject
- Computer Books: General
More by Alan Bundy and related titles
Artificial Intelligence Techniques
Alan Bundy
₹2,242
The Computer Modelling of Mathematical Reasoning
Alan Bundy
₹2,250
The Computer Modelling of Mathematical Reasoning
Alan Bundy
₹3,043
Pvm
Adam Beguelin
₹1,733
IBM Certification Study Guide Aix Problem Determination Tools and Techniques
IBM Redbooks
₹3,486
IBM Certification Study Guide Aix Installation and System Recovery
IBM Redbooks
₹2,790
Experimentation in Software Engineering
Bjorn Regnell, Magnus C. Ohlsson, Martin Host, Claes Wohlin, Per Runeson
₹8,105
PC Home Entertainment Manual
Kyle MacRae
₹3,184
Prefiguring Cyberculture – An Intellectual History
Darren Tofts
₹3,926
An Introduction to Artificial Intelligence
Janet Finlay
₹3,742
Excel Data Analysis for Dummies
Stephen L. Nelson
₹2,881