Enviar aquest missatge de text: The computer modelling of mathematical reasoning / Alan Bundy, Department of Artificial Intelligence, Edinburgh.