RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC169,
    author = {W. Windsteiger},
    title = {{A Set Theory Prover in Theorema}},
    booktitle = {{Computer Aided Systems Theory}},
    language = {english},
    series = {LNCS},
    number = {2178},
    pages = {525--539},
    publisher = {Springer},
    isbn_issn = {ISSN 0302-9743, ISBN 3-540-429},
    year = {2001},
    note = {Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory -- Formal Methods and Tools for Computer Science), extended version available as RISC report 01-07},
    editor = {R. Moreno-Diaz and B. Buchberger and J.L. Freire},
    refereed = {yes},
    length = {15}
    }