Login / Signup
Modeling Permutations in Coqfor Coccinelle.
Evelyne Contejean
Published in:
Rewriting, Computation and Proof (2007)
Keyphrases
</>
artificial intelligence
database
genetic algorithm
face recognition
wide range
image analysis