author = {B. Buchberger},
title = {{Symbolic Computation: Computer Algebra and Logic}},
language = {english},
year = {1996},
month = {March 26-28},
annote = {1996-03-26-A},
note = {Invited talk at Frontiers of Combining Systems, Munich, (Proceedings of FROCOS 1996 -1st International Workshop on Frontiers of Combining Systems, Applied Logic Series, Vol.3, pp.193-220, Kluwer Academic Publisher)},
keywords = {design of Theorema, Mathematica, automated proving, automated induction, functors, syntax, algorithms and theorems},
conferencename = {Frontiers of Combining Systems, Munich, (Proceedings of FROCOS 1996 -1st International Workshop on Frontiers of Combining Systems, Applied Logic Series, Vol.3, pp.193-220, Kluwer Academic Publisher)}