Artifact Details

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

Lot Number

X5687.2010