Automated theorem proving in the ProTem programming language
By: Brian Parkinson.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1991
Place of publication: Toronto
Language: eng
Number of pages: 113
Notes: Thesis (M.Sc.)--University of Toronto, 1991.