- -

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

  • Estadisticas de Uso

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

Thumbnail
Nombre: Memoria.pdf
Tamaño: 1.095Mb
Formato: PDF
Abrir/Preview
[ZIP]
Nombre: Anexos.zip
Tamaño: 7.073Kb
Formato: application/zip
Abrir

Metadatos del ítem

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

recommendations

 

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

Mostrar el registro completo del ítem