![]() | ![]() |
1997 | ||
---|---|---|
1 | Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391 |
1 | Bruno Buchberger | [1] |
2 | Tudor Jebelean | [1] |
3 | Mircea Marin | [1] |
4 | Elena Tomuta | [1] |
5 | Daniela Vasaru | [1] |