Artifact Details

Title

Computational Logic Structure : Sharing and Proof of Program Properties

Catalog Number

102719593

Type

Text

Date

1973

Author

Moore, J. Strother

Publisher

Edinburgh, University of

Extent

1 microfilm box

Description

thesis on microfilm

Category

Microform

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Technical reports

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010