Keyphrases
- higher education
- distance learning
- theorem proving
- digital libraries
- machine learning
- information and communication technologies
- e learning
- web based learning
- elementary school
- interactive learning
- web forums
- constructive induction
- educational technology
- distance education
- inductive learning
- online learning
- computer science education
- information society
- program synthesis
- learning sciences
- technology enhanced learning
- hybrid learning
- explanation based learning
- inductive inference
- mobile learning