|
English
|
正體中文
|
简体中文
|
總筆數 :2853524
|
|
造訪人次 :
45207044
線上人數 :
901
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"hsiang jieh"的相關文件
顯示項目 111-120 / 164 (共17頁)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
每頁顯示[10|25|50]項目
| 國立臺灣大學 |
1994-06 |
Distributed Deduction by Clause-Diffusion:the Aquarius Prover
|
Bonacina, P. B.; 項潔; Bonacina, P. B.; Hsiang, Jieh |
| 國立臺灣大學 |
1994 |
A Category Theory Approach to Completion-Based Theorem Proving Strategies
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1994 |
Distributed Deduction by Clause-Diffusion
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1994 |
Towards a Foundation of Completion Procedures as Semidecision Procedures
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 臺大學術典藏 |
1994 |
Towards a Foundation of Completion Procedures as Semidecision Procedures
|
Bonacina, M. P.; Hsiang, Jieh; Bonacina, M. P.; 項潔; Hsiang, Jieh |
| 國立臺灣大學 |
1993 |
On Subsumption in Distributed Deduction
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1993 |
A System for Distributed Simplification-based Theorem Proving
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1993 |
On Fairness in Distributed Automated Deduction
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 臺大學術典藏 |
1993 |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover.
|
Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 國立臺灣大學 |
1992 |
Automated Proofs of the Moufang Identities in Alternative Rings
|
Anantharaman, S.; 項潔; Anantharaman, S.; Hsiang, Jieh |
顯示項目 111-120 / 164 (共17頁)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
每頁顯示[10|25|50]項目
|
