Students' Proof Assistant (SPA).
Anders SchlichtkrullJørgen VilladsenAsta Halkjær FromPublished in: ThEdu@FLoC (2018)
Keyphrases
- learning experience
- learning environment
- higher education
- high school students
- student learning
- university students
- e learning
- learning activities
- open ended
- learning outcomes
- distance learning
- test bed
- tutoring system
- undergraduate students
- college students
- learning styles
- distance education
- theorem prover
- collaborative learning
- high school
- online course
- intelligent tutoring systems
- university level
- engineering education
- programming course
- learning process
- computer science students
- students learning
- concept maps
- graduate students
- mobile learning
- computer scientists
- teaching methods
- computer science
- secondary school
- middle school
- grounded theory
- computer mediated
- educational environment
- engineering students
- control group
- learning scenarios