Login / Signup
Generic Environments in Coq
Emmanuel Polonowski
Published in:
CoRR (2011)
Keyphrases
</>
domain specific
neural network
three dimensional
multi agent systems
dynamic environments
application specific
intelligent environments
data sets
data mining
video sequences
end users
theorem prover
autonomous robots
formal methods
heterogeneous environments