Artifact Details

Title

Computer Programs for Checking Mathematical Proofs

Catalog Number

102720526

Type

Text

Date

1962

Author

McCarthy, John

Publisher

Massachusetts Institute of Technology (MIT)

Extent

1 folder

Description

Reprint and copy.

Category

Article

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010