Keyphrases
- input output
- lambda calculus
- programming language
- predicate calculus
- noise cancellation
- internal states
- database query languages
- program understanding
- data envelopment analysis
- theorem prover
- ibm zenterprise
- nonlinear functions
- database
- expressive power
- database management systems
- response time
- software engineering
- pairwise
- neural network