语系
书封
[NT 60476] Jump To : 概要 | 书目信息 | 主题

項潔

概要
作品: 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: 漢珍數位圖書股份有限公司; 項潔 (书目-电子资源) , [編]
 
 
变更密码
登入