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