Futbol: lenguaje formal y simulación computable.

Jonathan Tellez-Giron Matías Alvarado

Published in: Res. Comput. Sci. (2016)

Keyphrases

data sets
formal specification
formal models
machine learning
information retrieval
social networks
multimedia
high level
support vector
search algorithm
formal model
formal analysis
turing machine