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

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"s p tung"???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-11 of 11  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
中原大學 2004-10-31 算術之邏輯與計算問題(2/2) S.P. Tung
中原大學 2003-05 算術之邏輯與計算問題(1/2) S.P. Tung
中原大學 2001 算術句型之計算繁度與可定義性(1/2) S.P. Tung
中原大學 2001 算術句型之計算繁度與可定義性(2/2) S.P. Tung
中原大學 2000 算術句型之計算繁度與可定義性 S.P. Tung
中原大學 1999 基因組重排的數學問題 S.P. Tung
中原大學 1998 混交定序之相關組合問題 S.P. Tung
中原大學 1988-02 Decidable Sentences Over Polynomial Rings S.P. Tung
中原大學 1987-03 Definability in number fields S.P. Tung
中原大學 1987 Computational complexities of diophantine equations with parameters S.P. Tung
中原大學 1986 Provability and decidability of arithmetical universal-existential sentences S.P. Tung

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