Search results for author:"David_Abraham"
Total records matched: 2 Search took: 0.048 secs
(2013) pp. 1–423
Online education depends on a variety of technology tools for cognitive-related activities; however it is unclear whether the current proliferation of tools is an indicator of a learner's readiness to use them effectively to meet learning objectives ...
EdMedia: World Conference on Educational Media and Technology 2001 (2001) pp. 7–8
This paper presents a Logic Tutor, a tool to support computer science students in their learning of logic, more specifically in their learning of formal proofs. The current tool is equipped with a deduction system for propositional logic. However...