- -

Listar por palabra clave "Unificación"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Unificación"

Ordenar por:Orden:Resultados:

  • Icon
    Análisis y prospectiva del turismo en la zona desmilitarizada de Corea 
    Fernández García, María del Mar (Universitat Politècnica de València, 2013-12-19)
    A lo largo de estas páginas se pretende analizar e investigar el turismo que recibe la Frontera Desmilitarizada de Corea. Se expondrán los acontecimientos que causaron la separación entre las dos Coreas, la situación actual ...
  • thumb
    El Unificador Más General (MGU) 
    Silva Galiana, Josep Francesc (2024-06-10)
    Este video explica qué es un unificador en la programación lógica y cuál es el unificador más general. También explica un algoritmo para calcular el unificador más general de dos términos cualesquiera. Finalmente, se ...
  • thumb
    Narrowing and Unification in the Maude Programming Language 
    López Rueda, Raúl (Universitat Politècnica de València, 2021-10-06)
    [ES] Los protocolos de seguridad en las comunicaciones evolucionan cada día buscando mejoras y corrección de errores, muchos de los cuales pueden llevar a vulnerabilidades con consecuencias fatales. Por ello, se vuelve de ...