An Implementation of higher order logic

dc.contributor.advisor	Birtwistle, Graham M.
dc.contributor.author	Slind, Konrad
dc.date.accessioned	2005-07-21
dc.date.available	2005-07-21
dc.date.issued	1990
dc.description	Bibliography: p. 137-148.	en
dc.format.extent	ix, 148 leaves ; 30 cm.	en
dc.identifier.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	en_US
dc.identifier.doi	http://dx.doi.org/10.11575/PRISM/20004
dc.identifier.isbn	031566987X	en
dc.identifier.lcc	BC 135 S54 1990	en
dc.identifier.uri	http://hdl.handle.net/1880/18056
dc.language.iso	eng
dc.publisher.institution	University of Calgary	en
dc.publisher.place	Calgary	en
dc.rights	University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subject.lcc	BC 135 S54 1990	en
dc.subject.lcsh	Logic, Symbolic and mathematical - Computer programs
dc.title	An Implementation of higher order logic
dc.type	master thesis
thesis.degree.discipline	Computer Science
thesis.degree.grantor	University of Calgary
thesis.degree.name	Master of Science (MSc)
ucalgary.thesis.notes	offsite	en
ucalgary.thesis.uarcrelease	y	en

Now showing 1 - 1 of 1