Principal
Biblioteca
Software
Enlaces
Glosario
Grupos de trabajo
Administradores
Biblioteca
Buscar :
Novedades
Listado total
Por ramas
Avanzada
Login
Login SSL
:: Biblioteca
:: Buscar
*Categoría
:: Biblioteca :: Sistemas Lógicos :: Lógica temporal
*Depositado por
Maria Manzano, e-mail:
mara@usal.es
*Depositado el
09-02-2007
*Título
Comentario a "Temporal logic" de Antony Galton
*Autor
Javier Pérez
*Fecha de creación
09-02-2007
Página Web
http://plato.stanford.edu/entries/logic-temporal/#1
*Idioma
Español/Spanish
*Formato
.pdf (Adobe)
*Claves
Lógica temporal
Tipo
Título
Archivo
Opciones
Resumen
Presentación en .ppt
Presentación_Trabajo.ppt
Documento
Comentario a "Temporal Logic"
Lógica_Temporal.doc
<< Atras