author = {B. Buchberger},
title = {{Theorema: Automatisches Beweisen fuer die Praxis (Theorema: Automatisches Beweisen fuer die Praxis)}},
language = {german},
year = {2000},
month = {June 6},
annote = {2000-06-15-A},
note = {Invited colloquium talk at University of Salzburg, Institute for Informatics, Salzburg, Austria},
institution = {University of Salzburg, Institute for Informatics, Salzburg, Austria}