proof checker
By: Supervised by: Gallimore, R.M..
Contributors: Gallimore, R. M., Supervisor.; Electrical Engineering and Electronics.
Publisher: UMIST
Published: 1982
Place of publication: Manchester
Language: eng
Notes: Thesis number:6014.

Msc.