|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
51507481
線上人數 :
772
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"項潔"的相關文件
顯示項目 181-190 / 219 (共22頁)
<< < 13 14 15 16 17 18 19 20 21 22 > >>
每頁顯示[10|25|50]項目
| 國立臺灣大學 |
1992 |
Automated Proofs of the Moufang Identities in Alternative Rings
|
Anantharaman, S.; 項潔; Anantharaman, S.; Hsiang, Jieh |
| 國立臺灣大學 |
1992 |
Automated Theorem Proving in the Presence of Equalities
|
Kirchner, H.; Lescanne, P.; Rusinowitch, M.; 項潔; Kirchner, H.; Lescanne, P.; Rusinowitch, M.; Hsiang, Jieh |
| 國立臺灣大學 |
1992 |
Logic Programming with Recurrence Domains
|
Chen, H.; 項潔; Chen, H.; Hsiang, Jieh |
| 臺大學術典藏 |
1992 |
Automated Proofs of the Moufang Identities in Alternative Rings
|
Anantharaman, S.; Hsiang, Jieh; Anantharaman, S.; 項潔; Anantharaman, S.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-07 |
A Category Theory Approach to Completion-based Theorem Proving Strategies
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-06 |
Computing with Recurrence Domains
|
Chen, H.; 項潔; Chen, H.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-06 |
High Performance Simplification-based Automatd Deduction
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-06 |
On Fairness of Completion-based Theorem Proving Strategies
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-04 |
Operational and Denotational Semantics of Rewrite Programs
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-01 |
Rewrite Techniques in Theorem Proving
|
Bachmair, L.; 項潔 |
顯示項目 181-190 / 219 (共22頁)
<< < 13 14 15 16 17 18 19 20 21 22 > >>
每頁顯示[10|25|50]項目
|
