|
English
|
正體中文
|
简体中文
|
總筆數 :2826152
|
|
造訪人次 :
31815220
線上人數 :
991
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"lin i peng"的相關文件
顯示項目 1-10 / 21 (共3頁)
1 2 3 > >>
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2020-05-04T07:56:05Z |
A Logical Approach to Movement Transformations in Mandarin Chinese.
|
HSIN-HSI CHEN; Wu, Chien-Ping; Chen, Hsin-Hsi;Lin, I-Peng;Wu, Chien-Ping; Chen, Hsin-Hsi; Lin, I-Peng |
| 國立臺灣大學 |
1996 |
電腦系統中心:自動推理系統環境--總計劃(一)
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1995 |
資訊領域重要計畫成效研討會總體評述報告
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1994 |
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
|
Chen, Cheng-Chia; Lin, I-Peng |
| 國立臺灣大學 |
1993 |
Temporal Constraints of Sentences with Complement Clauses
|
Lee, Hsiu-Hui; Lin, I-Peng; Wu, Chien-Ping |
| 國立臺灣大學 |
1993 |
模態邏輯推論研究(一)
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1993 |
The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
|
Chen, Cheng-Chia; Lin, I-Peng |
| 國立臺灣大學 |
1992-11 |
Temporal constraints and their interpretations in natural language
|
Lee, Hsiu-Hui; Lin, I-Peng; Wu, Chine-Ping |
| 國立臺灣大學 |
1992 |
核心語言設計(II)
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1992 |
智慧型機器翻譯補助器的設計與製作
|
林一鵬; Lin, I-Peng |
顯示項目 1-10 / 21 (共3頁)
1 2 3 > >>
每頁顯示[10|25|50]項目
|
