|
English
|
正體中文
|
简体中文
|
总笔数 :2822924
|
|
造访人次 :
30015389
在线人数 :
1154
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"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]项目
|
