-calculus.

Ugo Montanari Marco Pistore

Published in: Theor. Comput. Sci. (2005)

Keyphrases

artificial intelligence
provably correct
multiscale
data sets
data mining
machine learning
information systems
image processing
website
case study
timed automata