項潔

概観

著作:	9 作品に 9 出版物中に 1 言語

タイトル

台灣大學電腦系統技術研發重點中心 …で: 台灣大學資訊工程學系暨研究所; 項潔 (マイクロフィルム) , [撰]

數位博物館大觀園 …で: 陳雪華; 項潔 (言語・文字資料 (印刷物)) , [主編]

運用0階邏輯中之推論方法解決結數學問題 …で: 國立台灣大學資訊工程學系暨研究; 項潔 (マイクロフィルム) , [撰]

自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討 …で: 國立台灣大學資訊工程學系(所); 項潔 (マイクロフィルム) , [撰]

自動推理系統環境總計畫(ii) …で: 國立台灣大學資訊工程學系(所); 項潔 (マイクロフィルム) , [撰]

收臉型自動推論方法=contraction-based automated deduction methods …で: 台大資訊工程學研究所; 項潔 (マイクロフィルム)

自動推理方法之平行/分散化=studies of distributed antomated deduction strategies …で: 國立台灣大學資訊工程學系; 項潔 (マイクロフィルム)

數位內容創意加值研討會論文集 …で: 陳雪華; 項潔 (言語・文字資料 (印刷物)) , [主編]

數位人文研究與技藝 = Digital humanities and carft : technological change …で: 漢珍數位圖書股份有限公司; 項潔 (コンピュータ・メディア) , [編]

主題