Inductive theorem generation

Date
1991
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 122-125.
Keywords
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
Collections