Efficient parallel temporal tableaux
By: Robert I. Scott ; supervised by J. Keane.
Contributors: Keane, J.; Computation.
Publisher: UMIST
Published: 1995
Place of publication: Manchester
Language: eng
Notes: Thesis number : 12059.

MSc.