Keyphrases
- term rewriting
- theorem prover
- theorem proving
- knuth bendix
- rewrite systems
- higher education
- distance learning
- educational settings
- operational semantics
- educational activities
- educational tools
- mobile learning
- distance education
- educational resources
- design patterns
- mobile robot
- serious games
- multimedia technology
- bayesian networks
- artificial intelligence
- databases