Computer modelling of mathematical reasoning
Bundy Alan
Computer modelling of mathematical reasoning - London Academic Press 1983 - 322p. cm.
36236
Textual
Artificial intelligence
D65,8(B):(S:72), M3
Computer modelling of mathematical reasoning - London Academic Press 1983 - 322p. cm.
36236
Textual
Artificial intelligence
D65,8(B):(S:72), M3
