Keyphrases
- theorem prover
- engineering design
- software engineering
- complex systems
- computer science
- ambient intelligence
- engineering students
- real world
- engineering systems
- engineering education
- engineering problems
- physical sciences
- materials science
- mechanical engineering
- electrical engineering
- computer aided design
- design process
- expert systems
- similarity measure
- artificial intelligence
- machine learning