|
English
|
正體中文
|
简体中文
|
Total items :2822924
|
|
Visitors :
30014576
Online Users :
1043
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"lin i peng"
Showing items 1-10 of 21 (3 Page(s) Totally)
1 2 3 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
Showing items 1-10 of 21 (3 Page(s) Totally)
1 2 3 > >>
View [10|25|50] records per page
|
