author = {B. Buchberger},
title = {{The Theorema Project: Logic and Algebra}},
language = {english},
year = {2000},
month = {September 25-26},
annote = {2000-09-25-A},
note = {Invited talk at Workshop on Computer Algebra and Representation Theory, Bielefeld, Germany},
conferencename = {Workshop on Computer Algebra and Representation Theory, Bielefeld, Germany}