@misc{RISC3034,
author = {B. Buchberger},
title = {{Algorithmische Beweisverfahren: Das Ende der Mathematik?}},
language = {deutsch},
year = {2005},
month = {April 20},
annote = {2005-04-20-A},
note = {Invited colloquium talk at Kepler Symposium, Universität Linz},
institution = {Kepler Symposium, Universität Linz}
}