Dear Spiral user, A fix deployment is planned for Tuseday 9th June between 9:00 and 11:00, during which you might experience that Spiral is not available. Apologies for any impact that this will have. Kind regards, the Spiral Team.
 
Derivation of logic programs
File(s)
Author(s)
Hogger, C. J
Type
Thesis
Version
Open Access
Date Issued
1978
Date Awarded
1978
URI
Copyright Statement
Attribution NoDerivatives 4.0 International Licence (CC BY-ND)
License URL
Creator
Hogger, C. J
Publisher Department
Department of Computing & Control
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
Doctor of Philosophy (PhD)
Author Permission
Not granted