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

关于TAIR
	计画说明

浏览
	典藏机构
	作者
	题名
	日期
	统计图表
	机构即时统计
	学术趋势

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

著作权
	出版社及期刊政策查询
	TAIR著作权会议记录

相关连结
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"hsiang jieh"的相关文件

回到依作者浏览
依题名排序	依日期排序

显示项目 116-164 / 164 (共4页)
<< < 1 2 3 4 > >>
每页显示[10|25|50]项目

机构	日期	题名	作者
國立臺灣大學	1993	On Subsumption in Distributed Deduction	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1993	A System for Distributed Simplification-based Theorem Proving	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1993	On Fairness in Distributed Automated Deduction	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
臺大學術典藏	1993	Distributed Deduction by Clause-Diffusion: The Aquarius Prover.	Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG
國立臺灣大學	1992	Automated Proofs of the Moufang Identities in Alternative Rings	Anantharaman, S.; 項潔; Anantharaman, S.; Hsiang, Jieh
國立臺灣大學	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.

显示项目 116-164 / 164 (共4页)
<< < 1 2 3 4 > >>
每页显示[10|25|50]项目

	English \| 正體中文 \| 简体中文 \| 总笔数 :2853524
	造访人次 : 45219894 在线人数 : 996 教育部委托研究计画计画执行:国立台湾大学图书馆