Computer science undergraduates learning logic using a proof editor: work in progress - researchr publication

researchr

You are not signed in
Sign in
Sign up

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin. Computer science undergraduates learning logic using a proof editor: work in progress. In Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1999, Leeds, UK, January 5-7, 1999. pages 15, Psychology of Programming Interest Group, 1999. [doi]

Abstract is missing.

runs on WebDSL