THE COMPUTER MODELLING OF MATHEMATICAL REASONING - Alan, Bundy (London Academic Press, 1983)
Bibliography : P. 312-317
Keywords: Artificial Intelligence