author = {B. Buchberger},
title = {{Groebner Bases and Automated Theorem Proving. (10 hours)}},
language = {english},
year = {2000},
month = {March 1-10},
annote = {2000-03-01-A},
note = {Invited colloquium talk at Intensive Course (10 hours) at the University of Texas at Beaumont},
institution = {Intensive Course (10 hours) at the University of Texas at Beaumont}