The computer modelling of mathematical reasoning
Bundy, Alan,1947-
London Academic
1983
Bibliography: p312-317. - Includes index
Mathematics