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 |
|
|