@inproceedings{RISC343,author = {B. Buchberger},
title = {{Symbolic Computation: Computer Algebra and Logic}},
booktitle = {{Frontiers of Combining Systems, Proceedings of FROCOS 1996 (1st International Workshop on Frontiers of Combining Systems), March 26-28, 1996, Munich}},
language = {english},
series = {Applied Logic Series},
volume = {Vol.3},
pages = {193--220},
publisher = {Kluwer Academic Publisher, Dordrecht - Boston - London, The Netherlands},
isbn_issn = {-},
year = {1996},
annote = {1996-03-26-A},
editor = {F. Bader and K.U. Schulz},
refereed = {yes},
keywords = {Keywords: design of Theorema, Mathematica, automated proving, automated induction, functors, syntax, algorithms and theorems},
length = {28}
}