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

关于TAIR
	计画说明

"項潔"的相关文件

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

显示项目 216-219 / 219 (共9页)
<< < 1 2 3 4 5 6 7 8 9
每页显示[10|25|50]项目

机构	日期	题名	作者
國立臺灣大學	1985	Rewrite Techniques and Applications	項潔; Hsiang, Jieh
國立臺灣大學	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.

显示项目 216-219 / 219 (共9页)
<< < 1 2 3 4 5 6 7 8 9
每页显示[10|25|50]项目

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