author = {B. Buchberger},
title = {{Theorema: A Formal Frame for Mathematics}},
language = {english},
year = {2002},
month = {September 9-11},
annote = {2002-09-11-A},
note = {Invited talk at EACA - 2002, Octavo Encuentro de Algebra Computational y Applicaciones, Penaranda de Duero, Universidad de Vallodolid, pp. 11-32},
conferencename = {EACA - 2002, Octavo Encuentro de Algebra Computational y Applicaciones, Penaranda de Duero, Universidad de Vallodolid, pp. 11-32}