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

關於TAIR
	計畫說明

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

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

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

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

"hsiang jieh"的相關文件

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

顯示項目 31-80 / 164 (共4頁)
1 2 3 4 > >>
每頁顯示[10|25|50]項目

機構	日期	題名	作者
臺大學術典藏	2018-09-10T07:01:37Z	Architecture and category knowledge for intelligent information retrieval agents	Tu, Hsieh-Chang; Hsiang, Jieh; 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: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: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: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	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:09Z	A Category Theory Approach to Completion-Based Theorem Proving Strategies	Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:09Z	Distributed Deduction by Clause-Diffusion	Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T04:52:09Z	Distributed Deduction by Clause-Diffusion:the Aquarius Prover	Bonacina, P. B.;Hsiang, Jieh; Bonacina, P. B.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T04:31:46Z	A reasoning framework for heterogeneous XML	Shieh, Yuh-Pyng; Chen, Chung-Chen; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T04:31:46Z	REWRITE METHODS FOR CLAUSAL AND NON-CLAUSAL THEOREM PROVING.	Dershowitz, Nachum; JIEH HSIANG; Hsiang, Jieh; Hsiang, Jieh;Dershowitz, Nachum
臺大學術典藏	2018-09-10T04:31:46Z	ASSOCIATIVE-COMMUTATIVE REWRITING.	Dershowitz, Nachum;Josephson, N.Alan;Hsiang, Jieh;Plaisted, David A.; Dershowitz, Nachum; Josephson, N.Alan; Hsiang, Jieh; Plaisted, David A.; JIEH HSIANG
臺大學術典藏	2018-09-10T04:31:44Z	Solving Open Problems in Quasigroups by Propositional Reasoning	Zhang, H.;Hsiang, Jieh; Zhang, H.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-09-10T03:46:51Z	Computing with Recurrence Domains	Chen, H.; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	2018-07-05T01:30:00Z	Recurrence Domains:Their Unification and Application to Logic Programming	Chen, H.; Hsiang, Jieh; Chen, H.; 項潔; Chen, H.; Hsiang, Jieh
臺大學術典藏	2011	Breathing New Life into Static Materials.	Hsiang, Jieh;Lin, Shu-Fen H.; Hsiang, Jieh; Lin, Shu-Fen H.; JIEH HSIANG
國立臺灣大學	2009	On Building a Full-Text Digital Library of Land Deeds of?Taiwan	Hsiang Jieh; Chen Szu-Pei; Tu Hsieh-Chang
國立臺灣大學	2009	The Web-Scalable Library	Hsiang Jieh
臺大學術典藏	2009	On Building a Full-Text Digital Library of Land Deeds of?Taiwan	Hsiang Jieh; Chen Szu-Pei; Tu Hsieh-Chang; Hsiang Jieh; Chen Szu-Pei; Tu Hsieh-Chang
臺大學術典藏	2009	The Web-Scalable Library	Hsiang Jieh; Hsiang Jieh
國立臺灣大學	2008	Implementing an Institutional Repository for Digital Archive, Library and Museum Communities: Experience from National Taiwan University	Hsiang Jieh; Tsai Chiung-Min
臺大學術典藏	2008	Implementing an Institutional Repository for Digital Archive, Library and Museum Communities: Experience from National Taiwan University	Hsiang Jieh; Tsai Chiung-Min; Hsiang Jieh; Tsai Chiung-Min
國立成功大學	2007	Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers	Chen, Szu-Pei; Hsiang, Jieh; Tu, Hsieh-Chang; Wu, Micha
國立臺灣大學	2007	Bringing Taiwan’s Cultural and Scientific Heritage On-line:The Digital Archives Project of National Taiwan University	Hsiang Jieh; Chen Hsueh-hua; Tsai Chiung-min
國立臺灣大學	2007	Digitalizing the Past, Creating the Future: On-line Archives of Taiwan Heritage (OATH)	Hsiang Jieh; Chen Hsueh-hua; Tsai Chiung-min
國立臺灣大學	2007	The NTU Digital Library & Museum of Buddhist Studies: Past, Present and Future	Hsiang Jieh; Kao Cipher
臺大學術典藏	2007	Bringing Taiwan’s Cultural and Scientific Heritage On-line:The Digital Archives Project of National Taiwan University	Hsiang Jieh; Chen Hsueh-Hua; Tsai Chiung-Min; Hsiang Jieh; Chen Hsueh-hua; Tsai Chiung-min
臺大學術典藏	2007	Digitalizing the Past, Creating the Future: On-line Archives of Taiwan Heritage (OATH)	Hsiang Jieh; Chen Hsueh-Hua; Tsai Chiung-Min; Hsiang Jieh; Chen Hsueh-hua; Tsai Chiung-min
臺大學術典藏	2007	The NTU Digital Library & Museum of Buddhist Studies: Past, Present and Future	Hsiang Jieh; Kao Cipher; Hsiang Jieh; Kao Cipher
臺大學術典藏	2007	On Building a Full-Text Digital Library of Historical Documents.	Chen, Szu-Pei; Hsiang, Jieh; Tu, Hsieh-Chang; Wu, Micha; JIEH HSIANG
國立臺灣大學	2006-10	Implementing an institutional repository for digital archive communities: Experiences from National Taiwan University	Chen, Hsueh-Hua; Hsiang, Jieh; Tsai, Chiung-Min
臺大學術典藏	2006-10	Implementing an institutional repository for digital archive communities: Experiences from National Taiwan University	Tsai, Chiung-Min; Hsiang, Jieh; Chen, Hsueh-Hua; Chen, Hsueh-Hua; Hsiang, Jieh; Tsai, Chiung-Min
國立臺灣大學	2006	Various criteria in the evaluation of biomedical named entity recognition	Tsai Richard Tzong-Han; Wu Shih-Hung; Chou Wen-Chi; Lin Yu-Chun; He Ding; Hsiang Jieh; Sung Ting-Yi; Hsu Wen-Lian
國立臺灣大學	2006	Integrating linguistic knowledge into a conditional random field framework to identify biomedical named entities	Tsai Richard Tzong-Han; Chou Wen-Chi; Wu Shih-Hung; Sung Ting-Yi; Hsiang Jieh; Hsu Wen-Lian
國立臺灣大學	2006	An Effectiveness Measure for Evaluating Open Retrieval Systems	Tu Hsieh-Chang; Hsiang Jieh
國立臺灣大學	2006	Boolean Rings for Intersection-Based Satisfiability	Dershowitz Nachum; Hsiang Jieh; Huang Guan-shieng; Kaiss Daher
臺大學術典藏	2006	An Effectiveness Measure for Evaluating Open Retrieval Systems	Tu Hsieh-Chang; Hsiang Jieh; Tu Hsieh-Chang; Hsiang Jieh
臺大學術典藏	2006	Boolean Rings for Intersection-Based Satisfiability	Dershowitz Nachum; Hsiang Jieh; Huang Guan-Shieng; Kaiss Daher; Dershowitz Nachum; Hsiang Jieh; Huang Guan-shieng; Kaiss Daher
臺大學術典藏	2006	Integrating linguistic knowledge into a conditional random field framework to identify biomedical named entities	Tsai Richard Tzong-Han; Chou Wen-Chi; Wu Shih-Hung; Sung Ting-Yi; Hsiang Jieh; Hsu Wen-Lian; Tsai Richard Tzong-Han; Chou Wen-Chi; Wu Shih-Hung; Sung Ting-Yi; Hsiang Jieh; Hsu Wen-Lian
臺大學術典藏	2006	Various criteria in the evaluation of biomedical named entity recognition	Tsai Richard Tzong-Han; Wu Shih-Hung; Chou Wen-Chi; Lin Yu-Chun; He Ding; Hsiang Jieh; Sung Ting-Yi; Hsu Wen-Lian; Tsai Richard Tzong-Han; Wu Shih-Hung; Chou Wen-Chi; Lin Yu-Chun; He Ding; Hsiang Jieh; Sung Ting-Yi; Hsu Wen-Lian
國立臺灣大學	2005-03	Editorial	Hong, Jen Shin; Doerr, Martin; Hsiang, Jieh
國立臺灣大學	2005-03	Toward an integrated digital museum system - the Chi Nan experiences	Hong, Jen Shin; Chen, Bai Hsuan; Hung, Sheng Hao; Hsiang, Jieh
臺大學術典藏	2005-03	Editorial	Hong, Jen Shin; Doerr, Martin; Hsiang, Jieh; Hong, Jen Shin; Doerr, Martin; Hsiang, Jieh
臺大學術典藏	2005-03	Toward an integrated digital museum system - the Chi Nan experiences	Hong, Jen Shin; Chen, Bai Hsuan; Hung, Sheng Hao; Hsiang, Jieh; Hong, Jen Shin; Chen, Bai Hsuan; Hung, Sheng Hao; Hsiang, Jieh
國立臺灣大學	2005	Toward an integrated digital museum system: the Chi Nan experiences	Hong Jen-Shin; Chen Bai-Hsuan; Hung Sheng-Hao; Hsiang Jieh

顯示項目 31-80 / 164 (共4頁)
1 2 3 4 > >>
每頁顯示[10|25|50]項目

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