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}