Items where Author is "ÁLVEZ GIMÉNEZ, Javier"
Group by: Item Type | No Grouping Jump to: Thesis Number of items: 1.
ThesisÁLVEZ GIMÉNEZ, Javier (2008) A transformational approach to constructive negation in constraint normal logic programming. PhD thesis, UPV/EHU. |