Artifact Details

Title

Proving Theorems About LISP Functions

Catalog Number

102720822

Type

Text

Date

1975-01

Author

Boyer, Robert S.; Moore, J. Strother

Publisher

Association for Computing Machinery (ACM)

Extent

1 folder

Description

Journal of the ACM, Vol. 22 No. 1 (January 1975) pages 129-14.

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