Synthesis of logic programs

Simple item page
dc.contributor.advisorCleary, John G.
dc.contributor.authorKornfein, Roger (Roger Eric), 1949-
dc.date.accessioned2005-07-21T21:07:47Z
dc.date.available2005-07-21T21:07:47Z
dc.date.issued1985
dc.descriptionBibliography: p. 126-128.en
dc.description.notesThis title is not available online. Access options are: - consulting the copy from Archives in our reading room in person - https://asc.ucalgary.ca/visiting/ - borrowing a circulating copy from the Library catalogue – https://ucalgary.primo.exlibrisgroup.com/discovery/search?vid=01UCALG_INST:UCALGARY&lang=en
dc.format.extentvii, 128 leaves ; 30 cm.en
dc.identifier.citationKornfein, R. R. (1985). Synthesis of logic programs (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/12956en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/12956
dc.identifier.isbn0315220317en
dc.identifier.lccQA 76.6 K69 1986en
dc.identifier.urihttp://hdl.handle.net/1880/23362
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.6 K69 1986en
dc.subject.lcshElectronic digital computers - Programming
dc.subject.lcshLogic, Symbolic and mathematical
dc.titleSynthesis of logic programs
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 548 215772151
ucalgary.thesis.notesoffsiteen
ucalgary.thesis.uarcreleasenoen
Files
Collections
Restricted Theses and Dissertations