Title
STP - A Semantic Theorem Prover
Catalog Number
102720729
Type
Document
Date
1968
Author
Sussman, J. A.
Publisher
Massachusetts Institute of Technology (MIT)
Extent
1 folder
Category
Memoranda
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan