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

關於TAIR
	計畫說明

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

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

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

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

"hsiang jieh"的相關文件

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

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

機構	日期	題名	作者
國立臺灣大學	1992	Automated Theorem Proving in the Presence of Equalities	Kirchner, H.; Lescanne, P.; Rusinowitch, M.; 項潔; Kirchner, H.; Lescanne, P.; Rusinowitch, M.; Hsiang, Jieh
國立臺灣大學	1992	Logic Programming with Recurrence Domains	Chen, H.; 項潔; Chen, H.; Hsiang, Jieh
臺大學術典藏	1992	Automated Proofs of the Moufang Identities in Alternative Rings	Anantharaman, S.; Hsiang, Jieh; Anantharaman, S.; 項潔; Anantharaman, S.; Hsiang, Jieh
臺大學術典藏	1992	The Term Rewriting Approach to Automated Theorem Proving.	Rusinowitch, Micha?l; JIEH HSIANG; Lescanne, Pierre; Kirchner, H?l?ne; Hsiang, Jieh
國立臺灣大學	1991-07	A Category Theory Approach to Completion-based Theorem Proving Strategies	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991-06	Computing with Recurrence Domains	Chen, H.; 項潔; Chen, H.; Hsiang, Jieh
國立臺灣大學	1991-06	High Performance Simplification-based Automatd Deduction	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991-06	On Fairness of Completion-based Theorem Proving Strategies	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991-04	Operational and Denotational Semantics of Rewrite Programs	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991	Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method	Rusinowitch, M.; 項潔; Rusinowitch, M.; Hsiang, Jieh
國立臺灣大學	1991	Simplification Orderings as a Basis for Automated Deduction	項潔; Hsiang, Jieh
臺大學術典藏	1991	Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method	Rusinowitch, M.; Hsiang, Jieh; Rusinowitch, M.; 項潔; Hsiang, Jieh
臺大學術典藏	1991	Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.	Rusinowitch, Micha?l; JIEH HSIANG; Hsiang, Jieh
國立臺灣大學	1990-05	On Finite Representation of Infinite Terms	Chen, H.; 項潔; Kung, H. C.; Chen, H.; Hsiang, Jieh; Kung, H. C.
國立臺灣大學	1990-05	SbReve:A Term Rewritiong Laboratory with Unfailing Completion	Anantharaman, S.; 項潔; Mzali, J.; Anantharaman, S.; Hsiang, Jieh; Mzali, J.
臺大學術典藏	1990-05	On Finite Representation of Infinite Terms	Chen, H.; Kung, H. C.; Hsiang, Jieh; Chen, H.; 項潔; Kung, H. C.; Hsiang, Jieh
臺大學術典藏	1990-05	SbReve:A Term Rewritiong Laboratory with Unfailing Completion	Anantharaman, S.; Hsiang, Jieh; Mzali, J.; Anantharaman, S.; 項潔; Mzali, J.; Anantharaman, S.; Hsiang, Jieh; Mzali, J.
國立臺灣大學	1990	Automatic Inductive Theorem Proving Using Prolog	Srivas, M. K.; 項潔; Srivas, M. K.; Hsiang, Jieh
臺大學術典藏	1990	Automatic Inductive Theorem Proving Using Prolog	Srivas, M. K.; Hsiang, Jieh; Srivas, M. K.; 項潔; Srivas, M. K.; Hsiang, Jieh
國立臺灣大學	1989-04	Complete Sets of Inference Rule for E-Unifications	項潔; Jouannaud, J. P.; Hsiang, Jieh; Jouannaud, J. P.
臺大學術典藏	1989	SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.	Anantharaman, Siva; Hsiang, Jieh; Mzali, Jalel; JIEH HSIANG; Anantharaman, Siva;Hsiang, Jieh;Mzali, Jalel
國立臺灣大學	1988	Incompleteness of the RUE/NRF Inference Systems	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1988	Refutational Theorem Proving using Term Rewriting Systems	項潔; Hsiang, Jieh
國立臺灣大學	1988	Complete Set of Inference Rules for the Cancellation Laws	項潔; Rusinowitch, M.; Sakai, K.; Hsiang, Jieh; Rusinowitch, M.; Sakai, K.
國立臺灣大學	1987-08	On Word Problems in Equational Theories	項潔; Rusinowitch, M.; Hsiang, Jieh; Rusinowitch, M.
國立臺灣大學	1987-07	A New Method for Establishing Refutational Completeness in Theorem Proving	項潔; Rusinowitch, M.; Hsiang, Jieh; Rusinowitch, M.
臺大學術典藏	1987-07	A New Method for Establishing Refutational Completeness in Theorem Proving	Rusinowitch, M.; Hsiang, Jieh; 項潔; Rusinowitch, M.; Hsiang, Jieh
國立臺灣大學	1987-06	Refutational Theorem Proving with Oriented Equations	Dershowitz, N.; 項潔; Dershowitz, N.; Hsiang, Jieh
國立臺灣大學	1987-05	Term Rewriting Theorem Proving for Equality	項潔; Hsiang, Jieh
國立臺灣大學	1987	Refutational Theorem Proving using Term Rewriting Systems	項潔; Hsiang, Jieh
國立臺灣大學	1987	Rewrite Method for Theorem Proving in First Order Theory with Equality	項潔; Hsiang, Jieh
國立臺灣大學	1986-07	Orderings for Equational Proofs	Bachmair, L.; Dershowitz, D.; 項潔; Bachmair, L.; Dershowitz, D.; Hsiang, Jieh
國立臺灣大學	1986-06	Prolog-based Inductive Theorem Proving	項潔; Srivas, M. K.; Hsiang, Jieh; Srivas, M. K.
臺大學術典藏	1986	ORDERINGS FOR EQUATIONAL PROOFS.	Bachmair, Leo;Dershowitz, Nachum;Hsiang, Jieh; Bachmair, Leo; Dershowitz, Nachum; Hsiang, Jieh; JIEH HSIANG
臺大學術典藏	1986	A New Method for Establishing Refutational Completeness in Theorem Proving.	Hsiang, Jieh; Hsiang, Jieh;Rusinowitch, Micha?l; Rusinowitch, Micha?l; JIEH HSIANG
國立臺灣大學	1985-12	Two Results in Term Rewriting Theorem Proving	項潔; Hsiang, Jieh
國立臺灣大學	1985-08	TeRSe:A Term Rewriting Theorem Prover	項潔; Josephson, N. A.; Hsiang, Jieh; Josephson, N. A.
國立臺灣大學	1985-05	A Prolog Environment for Developing and Reasoning About Data Types	項潔; Srivas, M. K.; Hsiang, Jieh; Srivas, M. K.
國立臺灣大學	1985	Rewrite Techniques and Applications	項潔; Hsiang, Jieh
臺大學術典藏	1985	PROLOG-Based Inductive Theorem Proving.	Hsiang, Jieh; Hsiang, Jieh;Srivas, Mandayam K.; Srivas, Mandayam K.; JIEH HSIANG
臺大學術典藏	1985	Two Results in Term Rewriting Theorem Proving.	Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG
國立臺灣大學	1983-09	Solving Open Problems in Quasigroups by Propositional Reasoning	Zhang, H.; 項潔; Zhang, H.; Hsiang, Jieh
國立臺灣大學	1983	Rewrite Methods for Clausal and Nonclausal Theorem Proving	項潔; Dershowitz, N.; Hsiang, Jieh; Dershowitz, N.
臺大學術典藏	1983	Rewrite Methods for Clausal and Nonclausal Theorem Proving	項潔;Dershowitz, N.; Hsiang, Jieh;Dershowitz, N.; 項潔; Dershowitz, N.; Hsiang, Jieh; Dershowitz, N.

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

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