Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Computer Science and Information Engineering / 資訊工程學系
Rewrite Techniques in Theorem Proving
Details
Rewrite Techniques in Theorem Proving
Pages
-
Date Issued
1991-01
Author(s)
JIEH HSIANG
URI
http://ntur.lib.ntu.edu.tw/handle/246246/231054
http://scholars.lib.ntu.edu.tw/handle/123456789/293201
Type
book