The situation calculus and Hehner's programming theory
Subtitle: harmonization through reification
By: Patrick Prémont.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1997
Place of publication: Toronto
Language: eng
Number of pages: 56
Notes: Thesis (M.Sc.)--University of Toronto, 1997.

MICR copy on microfiche (1 microfiche).