Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin. Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms. BJET, 34(5):625-638, 2003. [doi]

Abstract

Abstract is missing.