Please use this identifier to cite or link to this item:
Title: Inductive theorem generation
Authors: Krawchuk, Brent J.
Issue Date: 1991
Publisher: Computer Science, University of Calgary
Description: Bibliography: p. 122-125.
ISBN: 0315751665
Appears in Collections:University of Calgary Theses

Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.