Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski.
Giovanna D'AgostinoMarco HollenbergPublished in: J. Symb. Log. (2000)
Keyphrases
- learning objects
- metadata
- linear interpolation
- multiple choice questions
- question answer
- image interpolation
- lambda calculus
- logical reasoning
- database systems
- development environment
- database
- interpolation method
- edge directed
- natural deduction
- cubic spline
- interpolation methods
- open questions
- answer questions
- theorem prover
- knowledge representation
- knowledge base
- neural network
- databases
- data sets