An Implementation of higher order logic

Files
ucalgary_1990_slind_konrad_585679.pdf (6.2 MB)
Date
1990
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 137-148.
Keywords
Citation
Slind, K. (1990). An Implementation of higher order logic (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/20004
URI
http://hdl.handle.net/1880/18056
Collections
Legacy Theses