-Calculus.

Naoki Kobayashi Kohei Suenaga Lucian Wischik

Published in: VMCAI (2006)

Keyphrases

real world
algebraic structure
computer algebra
database
databases
learning algorithm
artificial intelligence
image processing
multiscale
evolutionary algorithm
formal language
automated deduction