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

About TAIR
	About TAIR

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

"s j lee"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 126-126 of 126 (6 Page(s) Totally)
<< < 1 2 3 4 5 6
View [10|25|50] records per page

Institution	Date	Title	Author
國立中山大學	1989-10	Theorem Proving Using Hyper-Matching Strategy	S.J. Lee;D. Plaisted

Showing items 126-126 of 126 (6 Page(s) Totally)
<< < 1 2 3 4 5 6
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :2830339
	Visitors : 32588483 Online Users : 5415 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library