A hypothesis management system for krypton.
Publisher: University, Dept. of Computer Science
Published: 1987
Place of publication: Toronto
Language: eng
Number of pages: 93
Notes: Thesis (M.Sc.) -- University of Toronto, 1987.