Tilbage til artikeldetaljer Alan Bundy: The computer modelling of mathematical reasoning.