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

Linked Resources