Keyphrases
- mathematical knowledge
- theorem prover
- proof planning
- linear logic
- theorem proving
- computer science
- access control
- computer assisted instruction
- cooperative
- expert systems
- computer algebra
- geometry theorem proving
- database
- computer algebra systems
- electrical engineering
- computer software
- hidden markov models
- case study
- knowledge base
- social networks