|
English
|
正體中文
|
简体中文
|
總筆數 :2853522
|
|
造訪人次 :
45199561
線上人數 :
777
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"hsiang jieh"的相關文件
顯示項目 101-110 / 164 (共17頁)
<< < 6 7 8 9 10 11 12 13 14 15 > >>
每頁顯示[10|25|50]項目
| 國立臺灣大學 |
1997-01 |
A generic virus detection agent on the Internet
|
Hsiang, Jieh; Lee, Jieh-Sheng; Tsang, Po-Hao |
| 臺大學術典藏 |
1997-01 |
A generic virus detection agent on the Internet
|
Hsiang, Jieh; Lee, Jieh-Sheng; Tsang, Po-Hao; Hsiang, Jieh; Lee, Jieh-Sheng; Tsang, Po-Hao |
| 國立臺灣大學 |
1996 |
自動推理方法之平行/分散化
|
項潔; Hsiang, Jieh |
| 臺大學術典藏 |
1996 |
On Semantic Resolution with Lemmaizing and Contraction.
|
Bonacina, Maria Paola;Hsiang, Jieh; Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 國立臺灣大學 |
1995 |
Algorithme De Completion SKB
|
Mzali, J.; 項潔; Mzali, J.; Hsiang, Jieh |
| 國立臺灣大學 |
1995 |
Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1995 |
Parallelizing Deduction Strategies:an Analytical Study
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1995 |
Recurrence Domains:Their Unification and Application to Logic Programming
|
Chen, H.; 項潔; Chen, H.; Hsiang, Jieh |
| 國立臺灣大學 |
1995 |
Rewrite Techniques in Theorem Proving
|
Bachmair, L.; 項潔; Bachmair, L.; Hsiang, Jieh |
| 國立臺灣大學 |
1994-12 |
Verification Sequential Circuits Using Inductive Theorem Proving
|
項潔; Hsiang, Jieh |
顯示項目 101-110 / 164 (共17頁)
<< < 6 7 8 9 10 11 12 13 14 15 > >>
每頁顯示[10|25|50]項目
|
