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 Tue Jun 18 23:31:16 2013 BST. |
