A generic logic environment

File(s)

Dawson-WMG-1991-PhD-Thesis.pdf (10.15 MB)

Show more

Author(s)

Dawson, William Mark Grant

Type

Thesis

Version

Open Access

Date Issued

1991

Date Awarded

1991

URI

http://hdl.handle.net/10044/1/46740

Copyright Statement

Attribution NoDerivatives 4.0 International Licence (CC BY-ND)

License URL

https://creativecommons.org/licenses/by-nc-nd/4.0/

Creator

Dawson, William Mark Grant

Publisher Department

Department of Computing

Publisher Institution

Imperial College London

Qualification Level

Doctoral

Qualification Name

PhD