|
English
|
正體中文
|
简体中文
|
2822924
|
|
???header.visitor??? :
30011378
???header.onlineuser??? :
1204
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"lin i peng"???jsp.browse.items-by-author.description???
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
|