Catalogue of Artificial Intelligence Tools
Alan Bundy, A. Bundy
₹7,665
The Computer Modelling of Mathematical Reasoning
by Alan Bundy
Academic Press Inc · 1997
₹3,043
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
The Computer Modelling of Mathematical Reasoning is written by Alan Bundy. This edition from Academic Press Inc (1997) has 336 pages. The original work dates from 1983.
Topics covered include Automatic theorem proving, Data processing, Mathematics and Symbolic and mathematical Logic.
Book details
- ISBN-13
- 9780121412500
- ISBN-10
- 0121412504
- Author
- Alan Bundy
- Publisher
- Academic Press Inc
- Published
- 1997
- First published
- 1983
- Pages
- 336
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by Alan Bundy and related titles
Artificial Intelligence Techniques
Alan Bundy
₹2,242
The Computer Modelling of Mathematical Reasoning
Alan Bundy
₹2,250
Rippling
Alan Bundy, David Basin, Dieter Hutter
₹5,117
Transport and Inherited Disease
C. Toothill
₹5,106
Managing Medical Devices Within a Regulatory Framework
Beth Ann Fiedler
₹9,239
Special Functions with Applications to Mathematical Physics
₹9,544
Borderline Personality and Mood Disorders
Lois W. Choi-Kain, John G. Gunderson
₹11,849
Ontology and Metaontology
Francesco Berto, Matteo Plebani
₹3,634
Perception and Metaphor
Qin Xiugui, Tie Yi
₹4,366
Reading, Understanding, and Applying Nursing Research 5e
Fain
₹2,803
Education for Social Change
Douglas Bourn
₹3,878