|
"lin i peng"的相關文件
顯示項目 1-21 / 21 (共1頁)
1
每頁顯示[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 |
| 國立臺灣大學 |
1992 |
適合中文環境的人工智慧及其應用之整合式研究發展(IV)
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1991-06 |
Logic-based Temporal Inferences in Natural Languages
|
Lee, Hsiu-Hui; Lin, I-Peng; Wu, Chien-Ping |
| 國立臺灣大學 |
1991 |
Porlog程式編譯之最佳化研究
|
林一鵬; 吳建平; Lin, I-Peng; Wu, Chien-Ping |
| 國立臺灣大學 |
1991 |
自動推論研究(一)
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1991 |
自動推論研究(二)
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1991 |
自動推論研究(三)
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1991 |
俱等號程式環境的Prolog製作
|
林一鵬; Lin, I-Peng |
| 國立臺灣大學 |
1990-09 |
A Logic-based Temporal Knowledge Representation in Mandarin Chinese
|
Lee, Hsiu-Hui; Lin, I-Peng; Wu, Chien-Ping |
| 國立臺灣大學 |
1990-02 |
The Design of Syntactic and Semantic Knowledge Base for English
|
Lin, I-Peng; Lee, Hsiu-Hui |
| 國立臺灣大學 |
1988 |
A LOGICAL APPROACH TO MOVEMENT TRANSFORMATIONS IN MANDARIN CHINESE
|
CHEN, HSIN-HSI; LIN, I-PENG; WU, CHIEN-PING |
| 國立臺灣大學 |
1986 |
智慧型的機器翻譯補助器的設計與製作
|
林一鵬; Lin, I-Peng |
顯示項目 1-21 / 21 (共1頁)
1
每頁顯示[10|25|50]項目
|
