Details:
Title | Admissible term orderings used in Computer Algebra Systems | Author(s) | Heinz Kredel | Type | Article in Journal | Length | 3 |
Language | English | Journal | Special Interest Group in Symbolic and Algebraic Manipulation | Volume | 22 | Number | 1 | Pages | 28-31 | Publisher | ACM | Year | 1988 | Translation |
No | Refereed |
No |
|