author = {B. Buchberger},
title = {{Theorema: Computer-Asssisted Proving}},
language = {english},
year = {2000},
month = {November 1-3},
annote = {2000-11-01-B},
note = {Invited talk at Academy Colloquium on Constructive Algebra and Systems Theory, Amsterdam, The Netherlands, Koninklijke Nederlandse Akademie von Wetenschappen, (2 pages in Proceedings)},
conferencename = {Academy Colloquium on Constructive Algebra and Systems Theory, Amsterdam, The Netherlands, Koninklijke Nederlandse Akademie von Wetenschappen, (2 pages in Proceedings)}