Mostrar el registro completo del ítem
El Khamlichi, G. (2012). Implementación del algoritmo de Tableau para la lógica temporal. http://hdl.handle.net/10251/17271.
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/17271
Título: | Implementación del algoritmo de Tableau para la lógica temporal | |||
Autor: | Khamlichi, Ghada el | |||
Director(es): | ||||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Resumen: |
El objetivo de este proyecto es crear un método que comprueba el índice de satisfacción automático de las propiedades de la lógica temporal lineal proposicional, mediante un algoritmo Tableau.
Esto se implementara en el ...[+]
|
|||
Derechos de uso: | Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|