author = {B. Buchberger},
title = {{Computational Mathematics, Computational Logic and Symbolic Computation}},
language = {english},
year = {2003},
month = {August 25-30},
annote = {2003-08-25-A},
note = {Lecture Notes in Computer Science Vol. 2803, pp. 98-99, ISSN 0302-9743. Invited talk at Computer Science Logic – Proceedings of 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloqium, KGC 2003, Vienna, Austria},
conferencename = {Computer Science Logic – Proceedings of 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloqium, KGC 2003, Vienna, Austria}