Modelado y análisis formal de jugadas del fútbol.

Jonathan Tellez-Giron Matías Alvarado

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

Keyphrases

formal methods
artificial intelligence
formal model
databases
learning algorithm
formal specification
social bookmarking
real time
neural network
knowledge base
high level
learning environment
control system
end users
knowledge representation
formal models