Details:
| Title | | | Author(s) | Volker Weispfenning | | Type | Article in Conference Proceedings | | ISBN | 0-89791-489-9 |
| URL |
http://doi.acm.org/10.1145/143242.143346 |
| Language | English | | Pages | 329-334 | | Publisher | ACM Press | | Address | New York, NY, USA | | Year | 1992 | | Translation |
No | | Refereed |
No | | Conferencename | International Conference on Symbolic and Algebraic Computation |
|
