author = {B. Buchberger},}
title = {{Calculemus at RISC: The THEOREMA Project}},
language = {english},
year = {2003},
month = {March 30},
annote = {2003-03-30-A},
note = {Contributed talk at Calculemus Midterm Review, Saarland University and German Research Center for AI (DFKI) Saarbruecken, Germany},
conferencename = {Calculemus Midterm Review, Saarland University and German Research Center for AI (DFKI) Saarbruecken, Germany}