A Category-Theoretic Treatment of Automated Theorem Proving

Resource

Journal of Information Science and Engineering, pp.120-125

Journal

Journal of Information Science and Engineering

Pages

120-125

Date Issued

1994

Date

1994

Author(s)

Bonacina M. P.

Hsiang J.

URI

Type

journal article

File(s)

Name

13.pdf

Size

1 MB

Format

Adobe PDF

Checksum

(MD5):f865c7001ce56ebc9414bc0a7375779b