公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1992 | Automated Proofs of the Moufang Identities in Alternative Rings | Anantharaman, S.; 項潔; Hsiang, Jieh | Journal of Automated Reasoning | 29 | 0 | |
1990 | SbReve:A Term Rewritiong Laboratory with Unfailing Completion | Anantharaman, S.; 項潔; Mzali, J.; Hsiang, Jieh | 3rd International Conference on Rewrite Techniques and Applications |