Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of The Computer Modelling of Mathematical Reasoning

The Computer Modelling of Mathematical Reasoning

by Alan Bundy

Academic Press Inc · 1997

₹2,250

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. It first appeared in 1983.

Its main subjects are Automatic theorem proving, Data processing, Mathematics and Symbolic and mathematical Logic.

Book details

ISBN-13
9780121412524
ISBN-10
0121412520
Author
Alan Bundy
Published
1997
First published
1983
Pages
336
Language
English
Condition
New
See all