S-logic: a higher order logic for deductive databases

Simple item page
dc.contributor.advisorCleary, John G.
dc.contributor.authorLiu, Mengchi
dc.date.accessioned2005-07-21
dc.date.available2005-07-21
dc.date.issued1990
dc.descriptionBibliography: p. 109-112.en
dc.format.extentvii, 129 leaves ; 30 cm.en
dc.identifier.citationLiu, M. (1990). S-logic: a higher order logic for deductive databases (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/10975en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/10975
dc.identifier.isbn0315619767en
dc.identifier.lccQA 76.9 L58 1990en
dc.identifier.urihttp://hdl.handle.net/1880/17851
dc.language.isoeng
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsUniversity 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.lccQA 76.9 L58 1990en
dc.subject.lcshDeductive data bases
dc.subject.lcshS-logic (Computer program language)
dc.titleS-logic: a higher order logic for deductive databases
dc.typemaster thesis
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameMaster of Science (MSc)
ucalgary.thesis.accessionTheses Collection 58.002:Box 747 520538767
ucalgary.thesis.notesoffsiteen
ucalgary.thesis.uarcreleaseyen
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ucalgary_1990_liu_mengchi_571957.pdf
Size:
5.96 MB
Format:
Adobe Portable Document Format
Description:
Thesis
Download
Collections
Legacy Theses