Continuation calculus.

Bram Geron Herman Geuvers

Published in: COS (2013)

Keyphrases

algebraic structure
computer algebra
multiscale
data mining
image processing
three dimensional
bayesian networks
relational calculus
natural deduction