Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Martin, U.H. and Cohen, Dave and Lai, M.K.F. and Norrie, K.J. and Watson, Phil
Case studies in equational reasoning.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)