
The Computer Modelling of Mathematical Reasoning
Alan Bundy
₹3,043

by Alan Bundy
Academic Press Inc · 1997
Free delivery. Nothing extra to pay at checkout.
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.