Bundy, Alan (1983): The Computer Modelling of Mathematical Reasoning


Title: The Computer Modelling of Mathematical Reasoning
Author(s): Bundy, Alan
Year: 1983
Publisher: Academic Press
Address: London

Concepts