Title
Proving Theorems About LISP Functions
Catalog Number
102720822
Type
Document
Description
Journal of the ACM, Vol. 22 No. 1 (January 1975) pages 129-14.
Date
1975-01
Author
Boyer, Robert S.; Moore, J. Strother
Publisher
Association for Computing Machinery (ACM)
Extent
1 folder
Category
Article
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan
