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