Details:
| Title | | | Author(s) | Volker Weispfenning | | Type | Article in Journal | | Abstract | | | Keywords | | | Length | 16 | | ISSN | 0747-7171 |
| File |
| | Language | English | | Journal | Journal of Symbolic Computation | | Volume | 36 | | Number | 3-4 | | Pages | 669-683 | | Publisher | Academic Press, Inc. | | Address | Duluth, MN, USA | | Year | 2003 | | Translation |
No | | Refereed |
Yes | | Organization |
|
|
