公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2006 | Boolean rings for intersection-based satisfiability | Dershowitz, N.; Hsiang, J.; Huang, G.-S.; Kaiss, D.; JIEH HSIANG | Lecture Notes in Computer Science | |||
1987 | Refutational Theorem Proving with Oriented Equations | Dershowitz, N.; Hsiang, Jieh; JIEH HSIANG | Colloquium on the Resolution of Equations in Algebraic Structures | |||
1983 | Rewrite Methods for Clausal and Nonclausal Theorem Proving | 項潔; Dershowitz, N.; Hsiang, Jieh | 10th International Conference on Automata, Languages and Programming |