author = {B. Buchberger},
title = {{Automated Proving, Solving, Computing: A Key to the Information Age}},
language = {english},
year = {2003},
month = {February 24},
annote = {2003-02-24-A},
note = {Invited talk at Presentation Day of the Computer Science Department of the University of Tsukuba, Japan},
conferencename = {Presentation Day of the Computer Science Department of the University of Tsukuba, Japan}