@misc{RISC2224,
author = {B. Buchberger},
title = {{Mathematical Knowledge Management in THEOREMA}},
language = {english},
year = {2001},
month = {September 24-26},
annote = {2001-09-24-A},
note = {Contributed talk at First International Workshop on Mathematical Knowledge Management (MKM 2001), RISC-Linz, Austria, 17 pages},
conferencename = {First International Workshop on Mathematical Knowledge Management (MKM 2001), RISC-Linz, Austria, 17 pages}
}