Title
Computer Programs for Checking Mathematical Proofs
Catalog Number
102720526
Type
Document
Description
Reprint and copy.
Date
1962
Author
McCarthy, John
Publisher
Massachusetts Institute of Technology (MIT)
Extent
1 folder
Category
Article
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan
