The Displacement Calculus.

Glyn Morrill Oriol Valentín Mario Fadda

Published in: J. Log. Lang. Inf. (2011)

Keyphrases

optical flow
automated deduction
computer algebra
database
genetic algorithm
three dimensional
algebraic structure
displacement estimation
feature selection
case study
natural language
automated theorem proving
provably correct