Inductive theorem generation

dc.contributor.advisorWitten, Ian H.
dc.contributor.authorKrawchuk, Brent J.
dc.date.accessioned2005-07-27T23:33:35Z
dc.date.available2005-07-27T23:33:35Z
dc.date.issued1991
dc.descriptionBibliography: p. 122-125.en
dc.format.extentix, 132 leaves ; 30 cm.en
dc.identifier.citationKrawchuk, B. J. (1991). Inductive theorem generation (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/15622en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/15622
dc.identifier.isbn0315751665en
dc.identifier.lccQ 325.5 K73 1991en
dc.identifier.urihttp://hdl.handle.net/1880/24556
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.lccQ 325.5 K73 1991en
dc.subject.lcshMachine learning
dc.subject.lcshInduction (Logic)
dc.titleInductive theorem generation
dc.typemaster thesis
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameMaster of Science (MSc)
ucalgary.thesis.notesoffsiteen
ucalgary.thesis.uarcreleaseyen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
ucalgary_1991_krawchuk_brent j._636164.pdf
Size:
6.96 MB
Format:
Adobe Portable Document Format
Description:
Thesis
Collections