-Calculus.

Pietro Di Gianantonio Svetlana Jaksic Marina Lenisa

Published in: CONCUR (2010)

Keyphrases

databases
computer algebra
database
data sets
neural network
multiscale
multi agent systems
information technology
artificial neural networks
evolutionary algorithm
data model
special case
formal language
relational calculus
automated theorem proving