公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1991 | Porlog程式編譯之最佳化研究 | 林一鵬; 吳建平; Lin, I-Peng; Wu, Chien-Ping | ||||
1991 | 俱等號程式環境的Prolog製作 | 林一鵬 | ||||
1996 | 兒童資訊週展覽-和虛擬實境做朋友 | 林一鵬 | ||||
1997 | 助理型軟體系統之研發與應用─子計畫一:助理型軟體之邏輯系統(Ⅰ) | 林一鵬 | ||||
1995 | 參加一九九五年國際資訊奧林匹亞競賽代表團 | 林一鵬 | ||||
1996 | 國科會台大電腦系統技術研發重點中心85年度工作計劃書─台灣大學電腦系統技術研發重點中心 | 林一鵬 | ||||
1995 | 推理系統的研究與製作 | 林一鵬 | ||||
1992 | 智慧型機器翻譯補助器的設計與製作 | 林一鵬 | ||||
1986 | 智慧型的機器翻譯補助器的設計與製作 | 林一鵬 | ||||
1994 | 林一鵬教授參加一九九四年(第六屆)國際資訊奧林匹亞競賽觀察 | 林一鵬 | ||||
1992 | 核心語言設計(II) | 林一鵬 | ||||
1994 | 模態邏輯推論研究(II) | 林一鵬 | ||||
1993 | 模態邏輯推論研究(一) | 林一鵬 | ||||
1995 | 自動推理系統環境(I)─電腦系統中心:自動推理系統環境─總計劃(I) | 林一鵬 | ||||
1996 | 自動推理系統環境II─自動推理系統環境:子計畫(二)整合式常識推理研究及其製作 | 林一鵬 | ||||
1992 | 自動推論研究 | 林一鵬 | ||||
1991 | 自動推論研究(一) | 林一鵬 | ||||
1991 | 自動推論研究(三) | 林一鵬 | ||||
1991 | 自動推論研究(二) | 林一鵬 | ||||
2001 | 資訊教育課程實施問題研究 | 岳修平 ; 林一鵬; 蕭芝殷 | 資訊傳播與圖書館學季刊 |