-Calculus.

Silvia Crafa Daniele Varacca Nobuko Yoshida

Published in: CONCUR (2007)

Keyphrases

computer algebra
real time
machine learning
automated theorem proving
automated deduction
learning algorithm
computer vision
image segmentation
data structure
search algorithm
theorem proving
algebraic structure
provably correct