Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Atkinson, W. and Cunningham, J. and Kent, S.
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 available from this repository)