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

About TAIR
	About TAIR

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

"kirchner h l ne"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 1-1 of 1 (1 Page(s) Totally)
1
View [10|25|50] records per page

Institution	Date	Title	Author
臺大學術典藏	1992	The Term Rewriting Approach to Automated Theorem Proving.	Rusinowitch, Micha?l; JIEH HSIANG; Lescanne, Pierre; Kirchner, H?l?ne; Hsiang, Jieh

Showing items 1-1 of 1 (1 Page(s) Totally)
1
View [10|25|50] records per page

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