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 and Applied Science > Electronics and Computer Science |
| Item ID: | 253230 |
| Date Deposited: | 03 May 2000 |
| Last Modified: | 02 Mar 2012 11:39 |
| Contributors: | Hartel, P. H. (Author) van Es, B. (Author) Tromp, Th. J. M. (Author) Hartel, P. H. (Editor) Plasmeijer, M. J. (Editor) |
| Date: | December 1995 |
| Additional Information: | Address: Nijmegen, The Netherlands |
| Status: | Published |
| Publisher: | Springer-Verlag, Berlin |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/253230 |
Actions (login required)
 |
View Item |
