林一鵬

概要

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

书目信息

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

資訊領域重要計畫成效發表研討會 by: 台灣大學資訊工程學研究所; 林一鵬 ([NT 13] Microfilm)

推理系統的研究與製作=theory of reasoning and its implementations by: 台大資訊工程學研究所; 林一鵬 ([NT 13] Microfilm)

模榮邏輯推論研究(ii)=studies in modal logic programming by: 台大資訊工程學系; 林一鵬 ([NT 13] Microfilm)

中文時間語意解釋之研究(i)=a study on temporal interpretationfor chinese sentences by: 台大資訊工程學系; 李秀惠; 林一鵬 ([NT 13] Microfilm)

統計學教學用程式 by: 教育部; 林一鵬 (书目-语言数据,印刷品) , [編撰]

電腦系統中心:自動推理系統環境--總計劃(i) by: 國立台灣大學資訊工程學研究所; 林一鵬 ([NT 13] Microfilm)

電腦系統技術研發重點中心群: 台灣大學重點中心 by: 國立台灣大學資訊工程學研究所; 林一鵬 ([NT 13] Microfilm)

自動推論研究=studies in automatic theorem proving(iii) by: 台灣大學資訊工程學系; 林一鵬 ([NT 13] Microfilm) , [著]

自動推理系統環境:子計畫(二)整合式常識推理研究及其製作 by: 國立台灣大學資訊工程學系(所); 林一鵬 ([NT 13] Microfilm) , [撰]

主题