|
"jieh hsiang"的相關文件
顯示項目 171-180 / 183 (共19頁)
<< < 10 11 12 13 14 15 16 17 18 19 > >>
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
1998 |
布爾環的理論與應用研究(I)
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
1996 |
PSATO: A distributed propositional prover and its application to quasigroup problems
|
ZHANG, HANTAO;BONACINA, MARIA PAOLA;HSIANG, JIEHZhang, H.;Bonacina, M.P.;Hsiang, J.; ZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
1996 |
On Semantic Resolution with Lemmaizing and Contraction.
|
Bonacina, Maria Paola;Hsiang, Jieh; Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
1994 |
On subsumption in distributed derivations
|
JIEH HSIANG; Hsiang, J.; Bonacina, M.P. |
| 臺大學術典藏 |
1993 |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover.
|
Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
1992 |
The Term Rewriting Approach to Automated Theorem Proving.
|
Rusinowitch, Micha?l; JIEH HSIANG; Lescanne, Pierre; Kirchner, H?l?ne; Hsiang, Jieh |
| 臺大學術典藏 |
1991 |
Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.
|
Rusinowitch, Micha?l; JIEH HSIANG; Hsiang, Jieh |
| 臺大學術典藏 |
1991 |
On finite representations of infinite sequences of terms
|
JIEH HSIANG; Chen, H.; Hsiang, J.; Kong, H.-C. |
| 臺大學術典藏 |
1989 |
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
|
Anantharaman, Siva; Hsiang, Jieh; Mzali, Jalel; JIEH HSIANG; Anantharaman, Siva;Hsiang, Jieh;Mzali, Jalel |
| 臺大學術典藏 |
1986 |
ORDERINGS FOR EQUATIONAL PROOFS.
|
Bachmair, Leo;Dershowitz, Nachum;Hsiang, Jieh; Bachmair, Leo; Dershowitz, Nachum; Hsiang, Jieh; JIEH HSIANG |
顯示項目 171-180 / 183 (共19頁)
<< < 10 11 12 13 14 15 16 17 18 19 > >>
每頁顯示[10|25|50]項目
|
