項潔

概要

作品:	9 作品在 9 項出版品 1 種語言

書目資訊

台灣大學電腦系統技術研發重點中心 by: 台灣大學資訊工程學系暨研究所; 項潔 (微縮資料) , [撰]

數位博物館大觀園 by: 陳雪華; 項潔 (書目-語言資料,印刷品) , [主編]

運用0階邏輯中之推論方法解決結數學問題 by: 國立台灣大學資訊工程學系暨研究; 項潔 (微縮資料) , [撰]

自動推理系統環境:子計畫(一)邏輯推理系統之完備性及有效性之探討 by: 國立台灣大學資訊工程學系(所); 項潔 (微縮資料) , [撰]

自動推理系統環境總計畫(ii) by: 國立台灣大學資訊工程學系(所); 項潔 (微縮資料) , [撰]

收臉型自動推論方法=contraction-based automated deduction methods by: 台大資訊工程學研究所; 項潔 (微縮資料)

自動推理方法之平行/分散化=studies of distributed antomated deduction strategies by: 國立台灣大學資訊工程學系; 項潔 (微縮資料)

數位內容創意加值研討會論文集 by: 陳雪華; 項潔 (書目-語言資料,印刷品) , [主編]

數位人文研究與技藝 = Digital humanities and carft : technological change by: 漢珍數位圖書股份有限公司; 項潔 (書目-電子資源) , [編]

主題