English  |  正體中文  |  简体中文  |  总笔数 :2853522  
造访人次 :  45199345    在线人数 :  689
教育部委托研究计画      计画执行:国立台湾大学图书馆
 		 
搜寻范围 进阶搜寻
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR
计画说明

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

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

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

相关连结
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
台湾机构典藏 TAIR >  依作者浏览

"hsiang jieh"的相关文件

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

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

机构 日期 题名 作者
國立臺灣大學 1997-01 A generic virus detection agent on the Internet Hsiang, Jieh; Lee, Jieh-Sheng; Tsang, Po-Hao
臺大學術典藏 1997-01 A generic virus detection agent on the Internet Hsiang, Jieh; Lee, Jieh-Sheng; Tsang, Po-Hao; Hsiang, Jieh; Lee, Jieh-Sheng; Tsang, Po-Hao
國立臺灣大學 1996 自動推理方法之平行/分散化 項潔; Hsiang, Jieh
臺大學術典藏 1996 On Semantic Resolution with Lemmaizing and Contraction. Bonacina, Maria Paola;Hsiang, Jieh; Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG
國立臺灣大學 1995 Algorithme De Completion SKB Mzali, J.; 項潔; Mzali, J.; Hsiang, Jieh
國立臺灣大學 1995 Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學 1995 Parallelizing Deduction Strategies:an Analytical Study Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學 1995 Recurrence Domains:Their Unification and Application to Logic Programming Chen, H.; 項潔; Chen, H.; Hsiang, Jieh
國立臺灣大學 1995 Rewrite Techniques in Theorem Proving Bachmair, L.; 項潔; Bachmair, L.; Hsiang, Jieh
國立臺灣大學 1994-12 Verification Sequential Circuits Using Inductive Theorem Proving 項潔; Hsiang, Jieh
國立臺灣大學 1994-06 Distributed Deduction by Clause-Diffusion:the Aquarius Prover Bonacina, P. B.; 項潔; Bonacina, P. B.; Hsiang, Jieh
國立臺灣大學 1994 A Category Theory Approach to Completion-Based Theorem Proving Strategies Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學 1994 Distributed Deduction by Clause-Diffusion Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學 1994 Towards a Foundation of Completion Procedures as Semidecision Procedures Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
臺大學術典藏 1994 Towards a Foundation of Completion Procedures as Semidecision Procedures Bonacina, M. P.; Hsiang, Jieh; Bonacina, M. P.; 項潔; Hsiang, Jieh
國立臺灣大學 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

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

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team