Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Atkinson, Will and Cunningham, J. and Kent, Stuart
Deduction with Modularity, Equality and Sortedness.
FOREST Research Deliverable Report WP3.R1.
, Department of Computing, Imperial College of Science, Technology and Medicine, London.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)