Tableay-based theorem proving in a temporal belief logic.
Contributors: Manchester Metropolitan University. Department of Computing.
Language: eng
Notes: Typescript.

Thesis [M.Sc.] -Manchester Metropolitan University, Department of Computing, 1994.