English  |  正體中文  |  简体中文  |  總筆數 :2853524  
造訪人次 :  45211260    線上人數 :  889
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

跳至:
或輸入年份:
從最近的開始 由舊到新排序

顯示項目 1981191-1981200 / 2346445 (共234645頁)
<< < 198115 198116 198117 198118 198119 198120 198121 198122 198123 198124 > >>
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2018-09-10T06:28:32Z Rewrite Method for Theorem Proving in First Order Theory with Equality Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:32Z Refutational Theorem Proving with Oriented Equations Dershowitz, N.;Hsiang, Jieh; Dershowitz, N.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:32Z Term Rewriting Theorem Proving for Equality Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:33Z 臺灣大學圖書館數位典藏計畫與展望 JIEH HSIANG; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:33Z 特藏圖書資料之「創生性典藏」與其主題分類:以臺灣原住民照片為例 JIEH HSIANG; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:33Z 臺灣大學數位典藏創新發展應用基礎計畫-臺灣文獻數位典藏教學研究應用計畫:《淡新檔案》學習知識網 JIEH HSIANG; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:33Z 台灣大學數位典藏創新發展應用基礎計畫—總計畫:台灣大學數位典藏推廣中心 JIEH HSIANG; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:33Z 數位典藏國家型科技計畫 應用服務分項計畫-數位典藏創意加值公開徵選計畫(子計畫一) 5/5 JIEH HSIANG; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:33Z 助理型軟體系統之研製與應用─子計劃四:助理型軟體環境中架構及語言的研發(Ⅰ) JIEH HSIANG; JIEH HSIANG
臺大學術典藏 2018-09-10T06:28:33Z 台灣大學電腦系統技術研發重點中心 JIEH HSIANG; JIEH HSIANG

顯示項目 1981191-1981200 / 2346445 (共234645頁)
<< < 198115 198116 198117 198118 198119 198120 198121 198122 198123 198124 > >>
每頁顯示[10|25|50]項目