-Calculus.

Beniamino Accattoli Delia Kesner

Published in: CSL (2010)

Keyphrases

computer algebra
machine learning
multiscale
formal language
automated deduction
algebraic structure
data sets
digital libraries
relation algebra