林一鵬

概観

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

タイトル

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

資訊領域重要計畫成效發表研討會 …で: 台灣大學資訊工程學研究所; 林一鵬 (マイクロフィルム)

推理系統的研究與製作=theory of reasoning and its implementations …で: 台大資訊工程學研究所; 林一鵬 (マイクロフィルム)

模榮邏輯推論研究(ii)=studies in modal logic programming …で: 台大資訊工程學系; 林一鵬 (マイクロフィルム)

中文時間語意解釋之研究(i)=a study on temporal interpretationfor chinese sentences …で: 台大資訊工程學系; 李秀惠; 林一鵬 (マイクロフィルム)

統計學教學用程式 …で: 教育部; 林一鵬 (言語・文字資料 (印刷物)) , [編撰]

電腦系統中心:自動推理系統環境--總計劃(i) …で: 國立台灣大學資訊工程學研究所; 林一鵬 (マイクロフィルム)

電腦系統技術研發重點中心群: 台灣大學重點中心 …で: 國立台灣大學資訊工程學研究所; 林一鵬 (マイクロフィルム)

自動推論研究=studies in automatic theorem proving(iii) …で: 台灣大學資訊工程學系; 林一鵬 (マイクロフィルム) , [著]

自動推理系統環境:子計畫(二)整合式常識推理研究及其製作 …で: 國立台灣大學資訊工程學系(所); 林一鵬 (マイクロフィルム) , [撰]

詳細を表示する

主題