Keyphrases
- higher education
- learning environment
- asynchronous circuits
- e learning
- modal logic
- learning process
- logic programming
- predicate logic
- learning analytics
- cooperative learning
- proof theory
- classical logic
- logical framework
- web based learning
- learning design
- online learning
- st century
- hybrid learning
- automated reasoning
- high school
- effective learning
- distance learning
- educational technology
- theorem proving
- blended learning
- learning sciences
- computer programming
- university level
- neural network