Keyphrases
- special case
- case study
- knowledge based systems
- linear logic
- theorem proving
- geometry theorem proving
- web based collaborative
- digital libraries
- information processing
- data sets
- design principles
- user friendly
- precise definition
- generally applicable
- development process
- information technology
- machine learning
- databases