The computer modelling of mathematical reasoning
Bundy, Alan
The computer modelling of mathematical reasoning - London Academic 1983 - 322p.
012141250
510.6 / B85
The computer modelling of mathematical reasoning - London Academic 1983 - 322p.
012141250
510.6 / B85