Keyphrases
- knowledge management
- knowledge engineering
- web based learning
- theorem prover
- information systems
- case study
- knowledge sharing
- higher order logic
- formal methods
- semantic web
- data sets
- knowledge resources
- organizational learning
- software engineering
- information technology
- three dimensional
- software development
- higher order
- decision making
- real world
- explicit knowledge
- neural network
- knowledge management systems
- knowledge reuse
- database
- light scattering