Computer modelling of mathematical reasoning - Bundy Alan (London Academic Press, 1983)
Keywords: Artificial intelligence