Dear Spiral User, we appreciate your patience during this upgrade which is to benefit our userbase, improve their experience in Spiral, introduce improvements, fixes and maintaining our versioning for future updates. Please note if you encounter any issues in Spiral, please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Again, we thank you for your patience and support during the upgrade. Kind Regards, Spiral Upgrade Team.
 
First-order logic applied to the description and derivation of programs
File(s)
Author(s)
Vasey, P. E.
Type
Thesis or dissertation
Version
Imperial Users only
Date Issued
1985
Date Awarded
1985
URI
Creator
Vasey, P. E.
Publisher Department
Department of Computing
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
Doctor of Philosophy (PhD)
Author Permission
Not granted