author = {B. Buchberger},
title = {{Computational Mathematics, Computational Logic and Symbolic Computation}},
booktitle = {{Computer Science Logic - Proceedings of 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloqium, KGC 2003}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {Vol. 2803},
pages = {98--99},
publisher = {Springer - Verlag Berlin},
address = {Vienna, Austria},
isbn_issn = {ISSN 0302-9743},
year = {2003},
month = {August 25-30},
annote = {2003-08-25-A},
editor = {M.Baaz and J. A. Makowsky},
refereed = {no},
length = {1}