ETPS: A System to Help Students Write Formal Proofs.
Peter B. AndrewsChad E. BrownFrank PfenningMatthew BishopSunil IssarHongwei XiPublished in: J. Autom. Reason. (2004)
Keyphrases
- formal proofs
- writing skills
- systematic search
- learning experience
- timetabling problem
- learning environment
- learning activities
- student learning
- e learning
- high school students
- learning outcomes
- distance learning
- high school
- undergraduate students
- intelligent tutoring systems
- collaborative learning
- learning styles
- college students
- mobile learning
- learning process
- computer programming
- tutoring system
- search methods
- particle swarm optimization
- programming exercises
- higher education
- machine learning