Artifact Details
Title
Verify / Prover
Catalog Number
102720269
Type
Document
1 folder
Description
Lisp listings
Category
Program Listing
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Manuals, manuscripts, and subject files; Source program listings
Credit
Gift of Herbert Stoyan
