SONIA
ESTÉVEZ MARTÍN
Profesora contratada doctora
JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
Publications by the researcher in collaboration with JESÚS CORREAS FERNÁNDEZ (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)