Basic proof skills computer science students


Hartel, P. H., van Es, B. and Tromp, Th. J. M. (1995) Basic proof skills computer science students. Proc. 1st Int. Conf. Functional Programming languages in Education (FPLE), LNCS 1022 Springer-Verlag, Berlin, 269-288.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Nijmegen, The Netherlands
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 253230
Date Deposited: 03 May 2000
Last Modified: 27 Mar 2014 19:55
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253230

Actions (login required)

View Item View Item