Keyphrases
- lambda calculus
- ambient intelligence
- higher order
- computer vision
- intelligent environments
- database query languages
- computer algebra
- programming language
- relation algebra
- real time
- fixed order
- algebraic structure
- automated deduction
- predicate calculus
- mobile robot
- artificial neural networks
- search algorithm
- similarity measure
- social networks
- information retrieval
- neural network