Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Book section
|
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 Fri May 24 10:54:41 2013 BST. |
