|
"jieh hsiang"的相關文件
顯示項目 166-183 / 183 (共8頁)
<< < 1 2 3 4 5 6 7 8 > >>
每頁顯示[10|25|50]項目
| 國立臺灣大學 |
2002 |
The Design of Metadata for the Digital Museum Initiative in Taiwan
|
Chen, Chao-Chen; Chen, Hsueh-Hua; Chen, Kuang-Hua; Jieh, Hsiang |
| 國立臺灣大學 |
2002 |
The design of metadata for the digital museum initiative in taiwan
|
HSUEH-HUA CHEN;HSUEH-HUA CHEN;JIEH HSIANG; Chen, C.-C. and Chen, H.-H. and Chen, K.-H. and Hsiang, J. |
| 臺大學術典藏 |
2002 |
The Design of Metadata for the Digital Museum Initiative in Taiwan
|
Jieh, Hsiang; Chen, Kuang-Hua; Chen, Hsueh-Hua; Chen, Chao-Chen; Chen, Chao-Chen; Chen, Hsueh-Hua; Chen, Kuang-Hua; Jieh, Hsiang |
| 臺大學術典藏 |
2002 |
數位典藏在數位內容產業之應用加值
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2001 |
Content management for digital museum exhibitions.
|
Hsiang, Jieh; Hsu, Tien-Yu; JIEH HSIANG; Chen, Bai-Hsuen; Hong, Jen-Shin |
| 臺大學術典藏 |
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 |
顯示項目 166-183 / 183 (共8頁)
<< < 1 2 3 4 5 6 7 8 > >>
每頁顯示[10|25|50]項目
|
