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 / 資訊工程學系
Automatic Inductive Theorem Proving Using Prolog
Details
Automatic Inductive Theorem Proving Using Prolog
Resource
Theoretical Computer Science, v.54 n.1, p.3-28
Journal
Theoretical Computer Science
Journal Volume
54
Journal Issue
1
Pages
3-28
Date Issued
1990
Date
1990
Author(s)
Hsiang, Jieh
DOI
10.1016/0304-3975(87)90016-8
URI
http://ntur.lib.ntu.edu.tw//handle/246246/118418
http://ntur.lib.ntu.edu.tw/bitstream/246246/118418/1/19.pdf
Type
journal article
File(s)
Loading...
Loading...
Download
Name
19.pdf
Size
23.96 KB
Format
Adobe PDF
Checksum
(MD5):6a227e8fe32fc16fec196381d2d8e084
