Instituto Universitario de Evaluación Sanitaria
Ikastegia/Institutua
CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
CLARA MARÍA SEGURA DÍAZ-rekin lankidetzan egindako argitalpenak (1)
2001
-
Adding traces to a lazy monadic evaluator
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)