JAVIER
ALVEZ GIMENEZ
PROFESORADO AGREGADO
Tesis doctoral
-
A transformational approach to constructive negation in constraint normal logic programming 2008
Universidad del País Vasco - Euskal Herriko Unibertsitatea