Keyphrases
- higher order
- theorem prover
- higher order logic
- natural deduction
- predicate calculus
- high level
- high order
- theorem proving
- low order
- lambda calculus
- inference rules
- first order logic
- pairwise
- markov models
- natural images
- natural language
- case study
- low level
- relational databases
- higher level
- abstract data types
- cut elimination
- information systems
- information retrieval