author = {B. Buchberger},
title = {{The Theorema Project: An Overview}},
language = {english},
year = {1997},
month = {May 6},
annote = {1997-05-06-A},
note = {Invited colloquium talk at University of Brno, Institute of Computer Science, Chech Republic},
institution = {University of Brno, Institute of Computer Science, Chech Republic}