Inductive theorem generation
dc.contributor.advisor | Witten, Ian H. | |
dc.contributor.author | Krawchuk, Brent J. | |
dc.date.accessioned | 2005-07-27T23:33:35Z | |
dc.date.available | 2005-07-27T23:33:35Z | |
dc.date.issued | 1991 | |
dc.description | Bibliography: p. 122-125. | en |
dc.format.extent | ix, 132 leaves ; 30 cm. | en |
dc.identifier.citation | Krawchuk, B. J. (1991). Inductive theorem generation (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/15622 | en_US |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/15622 | |
dc.identifier.isbn | 0315751665 | en |
dc.identifier.lcc | Q 325.5 K73 1991 | en |
dc.identifier.uri | http://hdl.handle.net/1880/24556 | |
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 | Q 325.5 K73 1991 | en |
dc.subject.lcsh | Machine learning | |
dc.subject.lcsh | Induction (Logic) | |
dc.title | Inductive theorem generation | |
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 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- ucalgary_1991_krawchuk_brent j._636164.pdf
- Size:
- 6.96 MB
- Format:
- Adobe Portable Document Format
- Description:
- Thesis