Computational Logic Structure : Sharing and Proof of Program Properties
thesis on microfilm
Item Details
- Date
- 1973 (Made)
- Type
- Document
- Catalogue number
- 102719593
- Organization
- Edinburgh, University of (Publisher)
- People
- J. Strother Moore (Author)
- Category
- Microform
- Credit line
- Gift of Herbert Stoyan
- Extent
- 1 microfilm box
- Language
- English
- Acquisition number
- X5687.2010
- Archive collection
- Herbert Stoyan collection on LISP programming
- Archive hierarchy
- Technical reports