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

關於TAIR
	計畫說明

"david a plaisted"的相关文件

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

显示项目 1-3 / 3 (共1页)
1
每页显示[10|25|50]项目

机构	日期	题名	作者
國立中山大學	1994-09	Problem solving by searching for models with a theorem prover	Shie-Jue Lee; David A. Plaisted
國立中山大學	1992-08	Eliminating duplication with the hyper-linking strategy	Shie-Jue Lee; David A. Plaisted
國立中山大學	1992-07	Conditional term rewriting and first-order theorem proving	David A. Plaisted; Geoffrey D. Alexander; Heng Chu; Shie-Jue Lee

显示项目 1-3 / 3 (共1页)
1
每页显示[10|25|50]项目

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