Keyphrases
- theorem prover
- natural deduction
- formal methods
- theoretical basis
- theoretical framework
- database
- higher order logic
- b spline
- real world
- inference rules
- e learning
- computational model
- point correspondences
- conceptual framework
- higher order
- artificial neural networks
- theorem proving
- relational databases
- control points
- multiscale
- set theory
- genetic algorithm