Rewriting modulo SMT and open system analysis.

Camilo Rocha José Meseguer César A. Muñoz

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

statistical analysis
neural network
learning algorithm
artificial intelligence
information systems
databases
data mining
machine learning
information retrieval
metadata
case study
multiscale
data analysis
quantitative analysis