author = {B. Buchberger},}
title = {{The Theorema Approach to Mathematics}},
language = {english},
year = {2014},
month = {July 17},
annote = {2014-07-17-A},
note = {Invited talk at PAS 2014, Vienna, Austria},
conferencename = {PAS 2014, Vienna, Austria}