Keyphrases
- computer programming
- computer algebra
- computer systems
- modal logic
- high level
- mathematics education
- computer technology
- students with learning disabilities
- formal logic
- logical framework
- case study
- computer assisted instruction
- temporal logic
- college level
- decision theoretic planning
- database systems
- artificial intelligence