Basic proof skills computer science students

Authors
Publication date 1995
Host editors
  • M.J. plasmeijer
  • P.H. Hartel
Book title 1st Functional Programming languages in Education (FPLE), LNCS 1022
Pages (from-to) 269-288
Publisher Berlin: Springer-Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back