| 臺大學術典藏 |
2002 |
「90年度-數位博物館主題計畫」延續計畫
|
項潔; 項潔; 項潔 |
| 臺大學術典藏 |
2002 |
數位典藏在數位內容產業之應用加值
|
陳雪華; 項潔; 鄭惇方; 陳雪華; 項潔; 鄭惇方 |
| 臺大學術典藏 |
2002 |
寬邊琉璃小灰蝶Callenya melaena shonen (Esaki) (鱗翅目：小灰蝶科) 之幼生期形態描述
|
張連浩; 洪政欣; 何健鎔; 周文一; 項潔; 張連浩; 洪政欣; 何健鎔; 周文一; 項潔 |
| 國立臺灣大學 |
2001-06 |
全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫
|
陳昭珍; 項潔; 陳雪華 |
| 國立臺灣大學 |
2001 |
適用於蝴蝶的內容與影像查詢技術之研究(1/2)
|
項潔 |
| 國立臺灣大學 |
2001 |
在命題邏輯推理方法中去除多餘性的研究與應用(2/2)
|
項潔 |
| 國立臺灣大學 |
2001 |
資訊工程學門研究發展及推動小組
|
項潔 |
| 國立臺灣大學 |
2001 |
國際數位圖書館合作研究計畫--IDLP─國際數位圖書館合作研究計畫
|
項潔 |
| 國立臺灣大學 |
2001 |
全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫
|
陳昭珍; 項潔; 陳雪華 |
| 臺大學術典藏 |
2001 |
全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫
|
項潔; 陳雪華; 陳昭珍; 陳昭珍; 項潔; 陳雪華 |
| 臺大學術典藏 |
2001 |
在命題邏輯推理方法中去除多餘性的研究與應用(2/2)
|
項潔; 項潔; 項潔 |
| 臺大學術典藏 |
2001 |
資訊工程學門研究發展及推動小組
|
項潔; 項潔; 項潔 |
| 臺大學術典藏 |
2001 |
國際數位圖書館合作研究計畫--IDLP─國際數位圖書館合作研究計畫
|
項潔項潔; 項潔; 項潔 |
| 國立臺灣大學 |
2000 |
在命題邏輯推理方法中去除多餘性的研究與應用(1/2)
|
項潔 |
| 國立臺灣大學 |
2000 |
資訊工程學門研究發展及推動小組
|
項潔 |
| 國立臺灣大學 |
2000 |
淡新檔案的數位化整理
|
吳密察; 項潔 |
| 國立暨南國際大學 |
1999 |
Personalized Web retrieval: Three agents for retrieving Web information
|
項潔; Hsiang, J |
| 國立成功大學 |
1999 |
淡新檔案的數位化整理
|
項潔; 吳密察 |
| 國立臺灣大學 |
1999 |
─助理型軟體系統之研製與應用3/3(總計畫)
|
項潔 |
| 國立臺灣大學 |
1999 |
助理型軟體系統之研製與應用─子計畫四：助理型軟體環境中架構及語言的研發(3/3)
|
項潔 |
| 國立臺灣大學 |
1999 |
電子圖書館文獻與博物館藏品數位化技術與應用之研究─子計畫二：台灣史料中知識擷取與覽讀環境之研究(II)
|
項潔 |
| 臺大學術典藏 |
1999 |
─助理型軟體系統之研製與應用3/3(總計畫)
|
項潔; 項潔; 項潔 |
| 臺大學術典藏 |
1999 |
電子圖書館文獻與博物館藏品數位化技術與應用之研究─子計畫二：台灣史料中知識擷取與覽讀環境之研究(II)
|
項潔; 項潔; 項潔 |
| 國立臺灣大學 |
1998 |
助理型軟體系統之研製與應用─子計畫四：助理型軟體環境中架構及語言的研發(2/3)
|
項潔 |
| 國立臺灣大學 |
1998 |
台灣大學電腦系統技術研發重點中心
|
項潔 |
| 國立臺灣大學 |
1998 |
布爾環的理論與應用研究(I)
|
項潔 |
| 國立臺灣大學 |
1998 |
助理型軟體系統之研製與應用2/3(總計畫)
|
項潔 |
| 國立臺灣大學 |
1998 |
臺灣史料數位化－臺大電子圖書館與博物館計畫
|
項潔 |
| 國立臺灣大學 |
1998 |
臺灣史料數位化的一些挑戰
|
項潔 |
| 國立臺灣大學 |
1997 |
助理型軟體系統之研製與應用─子計劃四：助理型軟體環境中架構及語言的研發（Ⅰ）
|
項潔 |
| 國立臺灣大學 |
1997 |
台灣大學電腦系統技術研發重點中心
|
項潔 |
| 國立臺灣大學 |
1997 |
定理證明之策略分析的理論基礎
|
項潔 |
| 國立臺灣大學 |
1997 |
助理型軟體系統之研製與應用─總計畫(Ⅰ)
|
項潔 |
| 國立臺灣大學 |
1996 |
用０階邏輯中之推論方法解決數學問題
|
項潔 |
| 國立臺灣大學 |
1996 |
自動推理系統環境II─自動推理系統環境：子計畫(一)邏輯推理系統之完備性及有效性之探討
|
項潔 |
| 國立臺灣大學 |
1996 |
自動推理系統環境II─自動推理系統環境總計畫(Ⅱ)
|
項潔 |
| 國立臺灣大學 |
1996 |
自動推理方法之平行/分散化
|
項潔; Hsiang, Jieh |
| 國立臺灣大學 |
1996 |
從Internet看未來的資訊革命
|
項潔 |
| 國立臺灣大學 |
1995-01 |
Rewrite Techniques and Applications
|
項潔 |
| 國立臺灣大學 |
1995 |
自動推理方法之平行／分散化
|
項潔 |
| 國立臺灣大學 |
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 |
| 國立臺灣大學 |
1994-06 |
Distributed Deduction by Clause-Diffusion:the Aquarius Prover
|
Bonacina, P. B.; 項潔; Bonacina, P. B.; Hsiang, Jieh |
| 國立臺灣大學 |
1994 |
收縮型自動推論方法
|
項潔 |
| 國立臺灣大學 |
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 |
