author = {B. Buchberger},
title = {{A Short Course on Automated Theorem Proving Using Mathematica}},
language = {english},
year = {1997},
month = {February 26-28},
annote = {1997-02-26-A},
note = {Invited colloquium talk at University of Hiroshima, Department of Computer Science, Japan},
institution = {University of Hiroshima, Department of Computer Science, Japan}