Keyphrases
- expert systems
- artificial intelligence
- engineering design
- software engineering
- real time
- linear logic
- theorem prover
- design process
- computer science
- data sets
- evolutionary algorithm
- decision trees
- search engine
- learning algorithm
- systems engineering
- engineering education
- engineering problems
- engineering students
- database
- engineering systems
- mechanical engineering
- physical sciences
- mathematical proofs