RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @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}
    }