- -

Implementación del algoritmo de Tableau para la lógica temporal

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

Compartir/Enviar a

Citas

Estadísticas

Implementación del algoritmo de Tableau para la lógica temporal

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

Ficheros en el ítem

Metadatos del ítem

Título: Implementación del algoritmo de Tableau para la lógica temporal
Autor:
Director(es): Villanueva García, Alicia
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha difusión:
Fecha acto/lectura: 2012-09-27
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 - Sin obra derivada - No comercial (by-nd-nc)
Titulación: Ingeniería Informática-Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem