One author matched your search
5 papers matched
Sorting by Relevance
Workflow-Based Personalised Document Delivery
International Journal on E-Learning (IJEL) 4:1 , 2005
New employees in an organisation typically undergo a period of relatively intense training when they commence their employment. Often the quantity of information imparted is too large for the newcomers to assimilate during the short training period. ...
A tool to practice formal proofs
World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA) 2001:1 , 2001
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...
Usage Analysis in Learning Systems
Usage Analysis in Learning Systems , 2009
This book explores different approaches for analyzing student data
collected electronically in computer-based learning activities in order to support
teaching and learning. The articles selected for this special issue are extended versions of the...