Bundy, Alan
The computer modelling of mathematical reasoning Alan Bundy - London Academic Press 1983 - xiv, 322 p. ill 23 cm.
Mathematics--Data processing
Logic, Symbolic and mathematical
Automatic theorem proving
511.3
The computer modelling of mathematical reasoning Alan Bundy - London Academic Press 1983 - xiv, 322 p. ill 23 cm.
Mathematics--Data processing
Logic, Symbolic and mathematical
Automatic theorem proving
511.3