臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

關於TAIR
	計畫說明

瀏覽
	典藏機構
	作者
	題名
	日期
	統計圖表
	機構即時統計
	學術趨勢

消息
	2019臺灣學術機構典藏研討會
	機構典藏系統RC7版本已發佈

著作權
	出版社及期刊政策查詢
	TAIR著作權會議記錄

相關連結
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"jieh hsiang"的相關文件

回到依作者瀏覽
依題名排序	依日期排序

顯示項目 66-115 / 183 (共4頁)
<< < 1 2 3 4 > >>
每頁顯示[10|25|50]項目

機構	日期	題名	作者
臺大學術典藏	2018-09-10T07:01:34Z	臺灣史料數位化－臺大電子圖書館與博物館計畫	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T07:01:34Z	臺灣史料數位化的一些挑戰	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T06:28:35Z	Generic virus detection agent on the Internet	Lee, Jieh-Sheng; Hsiang, Jieh; Tsang, Po-Hao; JIEH HSIANG
臺大學術典藏	2018-09-10T06:28:34Z	助理型軟體系統之研製與應用─總計畫(Ⅰ)	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	台灣大學數位典藏創新發展應用基礎計畫—總計畫:台灣大學數位典藏推廣中心	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
臺大學術典藏	2018-09-10T06:28:33Z	定理證明之策略分析的理論基礎	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	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-10T05:56:29Z	Boolean rings for intersection-based satisfiability	Dershowitz, N.; Hsiang, J.; Huang, G.-S.; Kaiss, D.; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:29Z	On semantic resolution with lemmaizing and contraction	Bonacina, M.P.;Hsiang, J.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:29Z	Automating algebraic proofs in algebraic logic	JIEH HSIANG; Hsiang, J.;Wasilewska, A.; Hsiang, J.; Wasilewska, A.
臺大學術典藏	2018-09-10T05:56:28Z	自動推理系統環境II─自動推理系統環境：子計畫(一)邏輯推理系統之完備性及有效性之探討	JIEH HSIANG; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:28Z	自動推理系統環境II─自動推理系統環境總計畫(Ⅱ)	JIEH HSIANG; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:28Z	臺灣機構典藏發展芻議	Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:28Z	大學圖書館數位保存與管藏發展策略：以臺大圖書館為例	Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:28Z	Implementing an institutional repository for digital archive communities: Experiences from National Taiwan university	Tsai, C.-M.; Hsiang, J.; Chen, H.-H.; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:27Z	Orderings for Equational Proofs	Bachmair, L.;Dershowitz, D.;Hsiang, Jieh; Bachmair, L.; Dershowitz, D.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:27Z	Prolog-based Inductive Theorem Proving	Hsiang, Jieh;Srivas, M. K.; Hsiang, Jieh; Srivas, M. K.; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:27Z	自動推理方法之平行/分散化	Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:27Z	大學圖書館數位保存與館藏發展策略：以臺大圖書館為例	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:27Z	從Internet看未來的資訊革命	JIEH HSIANG; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:56:27Z	用０階邏輯中之推論方法解決數學問題	JIEH HSIANG; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:30Z	Preface	Hsiang, J.; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:30Z	Refutational theorem proving using term-rewriting systems	Hsiang, J.; Hsiang, J.; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:29Z	臺灣機構典藏發展芻議	Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:29Z	數位典藏國家型科技計畫-應用服務分項計畫─數位典藏應用公開徵選計畫(子計畫一)	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:29Z	On developing digital institutional repositories in Taiwan	Hsiang, J.; Hung, H.-Y.; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:28Z	Two Results in Term Rewriting Theorem Proving	JIEH HSIANG; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:28Z	數位典藏之加值與應用	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:28Z	數位典藏產業商業模式之探討	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:28Z	數位典藏國家型科技計畫-應用服務分項計畫─(總計畫)	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:27Z	Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover	Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:27Z	A Prolog Environment for Developing and Reasoning About Data Types	JIEH HSIANG; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:27Z	Rewrite Techniques and Applications	Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T05:21:27Z	TeRSe:A Term Rewriting Theorem Prover	Hsiang, Jieh;Josephson, N. A.; Hsiang, Jieh; Josephson, N. A.; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:12Z	On the hardness of counting problems of complete mappings	Hsiang, J.; Hsu, D.F.; Shieh, Y.-P.; Hsiang, J.; Hsu, D.F.; Shieh, Y.-P.; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:11Z	24皇后問題共有227,514,171,973,736個解	Jieh Hsiang; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:11Z	台灣歷史數位圖書館系統架構、功能需求分析研究計畫	JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:11Z	各國檔案數位化之探討	Jieh Hsiang; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:11Z	收縮型自動推論方法	JIEH HSIANG; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:11Z	92年度「資訊教育學門」專題研究計畫成果討論會	Jieh Hsiang; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:10Z	臺灣歷史數位圖書館系統架構、功能需求分析研究計畫	Jieh Hsiang; JIEH HSIANG; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:10Z	國家檔案數位化影像品質之研究	JIEH HSIANG; JIEH HSIANG

顯示項目 66-115 / 183 (共4頁)
<< < 1 2 3 4 > >>
每頁顯示[10|25|50]項目

	English \| 正體中文 \| 简体中文 \| 總筆數 :0
	造訪人次 : 51491466 線上人數 : 712 教育部委託研究計畫計畫執行:國立臺灣大學圖書館