Keyphrases
- automated deduction
- theorem proving
- theorem prover
- inference rules
- e learning
- logic programming
- computer science education
- web based learning
- distance learning
- information and communication technologies
- computing education
- higher education
- educational technology
- selected papers
- deductive databases
- distance education
- logic programs
- hong kong
- database
- learning sciences
- learning community
- university level