Details:
Title | Strategy Compliant Multi-Threaded Term Completion | Author(s) | Reinhard , Manfred , Wolfgang | Type | Article in Journal | Length | 31 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 21 | Number | 4/5/6 | Pages | 475--505 | Year | 1996 | Translation |
No | Refereed |
Yes |
|