@

author = {B. Buchberger},}

title = {{Logic, Mathematics, Computer Science: The Accumulated Thinking Technology of Mankind}},

language = {english},

year = {2002},

month = {October 20-22},

annote = {2002-10-20-A},

note = {Contributed talk at Conference on Logic, Mathematics and Computer Science (LMCS 2002), Symposium in Honor of Bruno Buchberger's 60th Birthday, RISC, Hagenberg, Austria},

conferencename = {Conference on Logic, Mathematics and Computer Science (LMCS 2002), Symposium in Honor of Bruno Buchberger's 60th Birthday, RISC, Hagenberg, Austria}