Keyphrases
- language learning
- programming language
- specification language
- natural language
- databases
- english language
- learning environment
- probabilistic model
- general purpose
- e learning
- information systems
- theorem prover
- conceptual graphs
- object oriented programming
- programming environment
- machine learning
- database
- formal language