Automated theorem proving in the ProTem programming language
Series: Canadian theses = Thèses canadiennes
Publisher: National Library of Canada = Bibliothèque nationale du Canada
Published: 1992
Place of publication: Ottawa
Language: eng
Format: Microform
Notes: University Microfilms order no. UMI00364766.

Thesis (M.Sc.)--University of Toronto, 1992.

Includes bibliographical references.