Now showing items 1-2 of 2
The Design and Development of an Artificial Hand incorporating function and cosmesis
(University of Edinburgh, 1974)
Computational Logic: Structure sharing and proof of program properties
This thesis describes the results of two studies in computational logic. The first concerns a very efficient method of implementing resolution theorem provers. The second concerns a non-resolution program which automatically ...