JAVIER
ALVEZ GIMENEZ
IRAKASLE AGREGATUA
Doktorego-tesia
-
A transformational approach to constructive negation in constraint normal logic programming 2008
Universidad del País Vasco - Euskal Herriko Unibertsitatea