RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
RAFAEL DEL
VADO VIRSEDA
Profesor contratado doctor
RAFAEL DEL VADO VIRSEDA-rekin lankidetzan egindako argitalpenak (3)
2008
-
Declarative diagnosis of missing answers in constraint functional-logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Declarative debugging of missing answers in constraint functional-logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
-
Declarative diagnosis of wrong answers in constraint functional-logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)