Calculus.

Céline Kuttler

Published in: Trans. Comp. Sys. Biology (2006)

Keyphrases

automated deduction
relational calculus
provably correct
artificial intelligence
social networks
image segmentation
expressive power
interval algebra
algebraic structure