Artifact Details
Title
ONTIC proof verification system
Catalog Number
102719550
Type
Text
Date
1991
Author
McAllester, David A.
Publisher
Massachusetts Institute of Technology (MIT)
Extent
1 folder
Category
Program Listing
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan
Lot Number
X5687.2010