|
"jieh hsiang"的相关文件
显示项目 171-183 / 183 (共8页)
<< < 1 2 3 4 5 6 7 8 > >>
每页显示[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 |
| 臺大學術典藏 |
1986 |
A New Method for Establishing Refutational Completeness in Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh;Rusinowitch, Micha?l; Rusinowitch, Micha?l; JIEH HSIANG |
| 臺大學術典藏 |
1985 |
PROLOG-Based Inductive Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh;Srivas, Mandayam K.; Srivas, Mandayam K.; JIEH HSIANG |
| 臺大學術典藏 |
1985 |
Two Results in Term Rewriting Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG |
显示项目 171-183 / 183 (共8页)
<< < 1 2 3 4 5 6 7 8 > >>
每页显示[10|25|50]项目
|
