author = {B. Buchberger and T. Jebelean et al},
title = {{The Facilities of Theorema for Teaching Logic and Mathematics}},
language = {english},
year = {2000},
month = {July 10},
annote = {2000-07-10-A},
note = {Contributed talk at IMA Conference on Applied Computer Algebra},
conferencename = {IMA Conference on Applied Computer Algebra}