English  |  正體中文  |  简体中文  |  2808724  
???header.visitor??? :  26799043    ???header.onlineuser??? :  359
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"lin bertrand i peng"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-5 of 5  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
國立臺灣大學 1996 Possibilistic reasoning—a mini-survey and uniform semantics Liau, Churn Jung; Lin, Bertrand I-peng
國立臺灣大學 1995 A theoretical investigation into quantitative modal logic Liau, Churn Jung; Lin, Bertrand I-peng
國立臺灣大學 1993 Proof methods for reasoning about possibility and necessity Liau, Churn Jung; Lin, Bertrand I-peng
國立臺灣大學 1992 Abstract minimality and circumscription Liau, Churn Jung; Lin, Bertrand I-peng
國立臺灣大學 1991 Fuzzy term-rewriting system Liau, Churn Jung; Lin, Bertrand I-peng

Showing items 1-5 of 5  (1 Page(s) Totally)
1 
View [10|25|50] records per page