Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 1.

Atkinson, W. and Cunningham, J. and Kent, S. (1990) Deduction with Modularity, Equality and Sortedness. In: 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.

This list was generated on Mon May 20 16:05:59 2013 BST.