Hartel, P. H., van Es, B. and Tromp, Th. J. M. (1995) Basic proof skills computer science students. Hartel, P. H. and Plasmeijer, M. J. (eds.) Proc. 1st Int. Conf. Functional Programming languages in Education (FPLE), LNCS 1022. pp. 269-288 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: December 1995
Additional Information:
Address: Nijmegen, The Netherlands
Venue - Dates:
Proc. 1st Int. Conf. Functional Programming languages in Education (FPLE), LNCS 1022, 1995-12-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253230
URI: http://eprints.soton.ac.uk/id/eprint/253230
PURE UUID: b733eb30-100d-4b73-a4a8-491103ee0575
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:32
Export record
Contributors
Author:
P. H. Hartel
Author:
B. van Es
Author:
Th. J. M. Tromp
Editor:
P. H. Hartel
Editor:
M. J. Plasmeijer
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.