A formal system for linear space reasoning
Series: Canadian theses = Thèses canadiennes
Publisher: National Library of Canada
Published: 1993
Place of publication: Ottawa
Language: eng
Format: Microform
Notes: Thesis (M.Sc.)--University of Toronto, 1993.