Artifact Details

Title

ONTIC proof verification system

Catalog Number

102719550

Type

Document

Date

1991

Author

McAllester, David A.

Publisher

Massachusetts Institute of Technology (MIT)

Extent

1 folder

Category

Program Listing

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010