JOSÉ MANUEL
MENDÍAS CUADROS
Catedrático de universidad
JUAN
LANCHARES DÁVILA
Catedrático de universidad
Publications dans lesquelles il/elle collabore avec JUAN LANCHARES DÁVILA (2)
2002
-
Optimization of equational specifications using genetic techniques
Proceedings - Euromicro Symposium on Digital System Design: Architectures, Methods and Tools, DSD 2002
-
Transformation of equational specification by means of genetic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)