A Teaching Tool for Proving Equivalences between Logical Formulae.
Josje LodderBastiaan HeerenPublished in: TICTTL (2011)
Keyphrases
- neural network
- learning environment
- e learning
- computer programming
- high school
- learning analytics
- software tools
- databases
- connected components
- distance education
- distance learning
- computer technology
- learning design
- query language
- educational technology
- hong kong
- problem based learning
- multimedia
- teacher education
- educational software