SONIA
ESTÉVEZ MARTÍN
Profesora contratada doctora
Publications dans lesquelles il/elle collabore avec 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)