-Calculus.

Diana Fischer Erich Grädel Lukasz Kaiser

Published in: Theory Comput. Syst. (2010)

Keyphrases

three dimensional
formal language
computer algebra
machine learning
decision making
image processing
video sequences
algebraic structure