author = {B. Buchberger},
title = {{How to Replace Senior Mathematicians by Machines}},
language = {english},
year = {2009},
month = {June 12},
annote = {2009-06-12-A},
note = {Invited talk at Conference on the Occasion of Professor Lorenzo Robbiano's 65th Birthday},
institution = {University of Barcelona, Mathematical Institute},
conferencename = {Conference on the Occasion of Professor Lorenzo Robbiano's 65th Birthday}