Programación en lógica temporal basada en los operadores Since y Until

Debido al creciente interés en diversas áreas de las Ciencias de la Computación en el estudio y manejo de nociones temporales, en los últimos años se han propuesto lenguajes de programación en lógica temporal. A pesar de esta diversidad de propuestas no hay implementaciones de las mismas accesibles...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cobo, María Laura, Augusto, Juan Carlos
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1998
Materias:
Ciencias Informáticas
Informática
Temporal logic
Logic Programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24878
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares