Title
Computational Logic : Structure Sharing and Proof of Program Properties, Part II
Catalog Number
102720847
Type
Document
Date
1975
Author
Moore, J. Strother
Publisher
Xerox PARC (Palo Alto Research Center)
Extent
1 folder
Category
Book
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan