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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Book section
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 Mon Jun 16 11:05:36 2014 BST.