Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B.
Lilian BurdyDavid DéharbePublished in: ABZ (2018)
Keyphrases
- interactive learning
- higher education
- guided exploration
- theorem proving
- interactive multimedia
- high school
- e learning
- user interaction
- online learning
- intelligent learning environments
- distance learning
- user friendly
- theorem prover
- st century
- learning environment
- thinking skills
- educational software
- mixed reality
- cooperative learning
- problem based learning
- virtual reality
- computer graphics
- web based learning
- teaching methods
- learning process
- effective learning
- hong kong
- intelligent tutoring systems
- software development