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

关于TAIR
	计画说明

"hsiang j"的相关文件

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

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

机构	日期	题名	作者
臺大學術典藏	1991	On finite representations of infinite sequences of terms	JIEH HSIANG; Chen, H.; Hsiang, J.; Kong, H.-C.
國立臺灣大學	1990	Tutorial on Rewrite-Based Theorem Proving	Hsiang J.; Jouannaud Jean-Pierre
國立臺灣大學	1990	Completion Procedures as Semi-Decision Procedures	Bonacina M. P.; Hsiang J.
國立臺灣大學	1990	Computing with Recurrence Domains	Chen H.; Hsiang J.

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

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