author = {B. Buchberger},
title = {{THEOREMA: Proving, Solving, Computing}},
language = {english},
year = {2001},
month = {June 28},
annote = {2001-06-28-A},
note = {Invited talk at Conference in Honor of Professor Shigeru Igarashi, Tsukuba, Japan},
conferencename = {Conference in Honor of Professor Shigeru Igarashi, Tsukuba, Japan}