JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
SONIA
ESTÉVEZ MARTÍN
Profesora contratada doctora
Publicaciones en las que colabora con SONIA ESTÉVEZ MARTÍN (1)
2012
-
Extending the TOY system with the ECL iPS e solver over sets of integers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)