Title
Computational Logic Structure : Sharing and Proof of Program Properties
Catalog Number
102719593
Type
Document
Description
thesis on microfilm
Date
1973
Author
Moore, J. Strother
Publisher
Edinburgh, University of
Extent
1 microfilm box
Category
Microform
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Technical reports
Credit
Gift of Herbert Stoyan