Deduction as an Engineering Science.
Dieter HutterPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- mechanical engineering
- physical sciences
- computer science
- artificial intelligence
- electrical engineering
- engineering courses
- engineering education
- industrial engineering
- inference rules
- software engineering
- engineering design
- social sciences
- interdisciplinary field
- computer aided design
- systems engineering
- engineering problems
- data mining
- requirements engineering
- information science
- database
- machine learning
- neural network