Artifact Details

Title

Computational Logic Structure : Sharing and Proof of Program Properties

Catalog Number

102719593

Type

Document

Date

1973

Moore, J. Strother

Edinburgh, University of

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