Login / Signup
Programmation d'un interpréteur abstrait certifié en logique constructive.
David Cachera
David Pichardie
Published in:
Tech. Sci. Informatiques (2011)
Keyphrases
</>
training data
neural network
lower bound
particle swarm optimization