Computer Modelling of Mathematical Reasoning
"Bundy, Alan"
Computer Modelling of Mathematical Reasoning - \\198300ENGGPSX - Academic 1983 New York - xiv+322p
includes index and biblioraphy
Computer Modelling of Mathematical Reasoning - \\198300ENGGPSX - Academic 1983 New York - xiv+322p
includes index and biblioraphy