Items where Subject is "Logic > Application of logic"
Group by: Creators | Item Type Jump to: Thesis Number of items at this level: 1.
ThesisÁLVEZ GIMÉNEZ, Javier (2008) A transformational approach to constructive negation in constraint normal logic programming. PhD thesis, UPV/EHU. |