項潔

概要

作品:	9 作品在 9 项出版品 1 种语言

书目信息

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

數位博物館大觀園 by: 陳雪華; 項潔 (书目-语言数据,印刷品) , [主編]

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

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

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

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

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

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

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

主题