Sommaire

Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator

Vidal, Concepción ; Aguado, Felicidad ; Doncel, José Luis ; Molinelli, Jose María ; Perez, Gilberto

Link
Link


Journal of Formalized Reasoning