Logica temporal de intervalos formalización de diagramas de estados
Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Metodología basada en lógica difusa para el análisis de señales continuas con contenido simbólico.
Tesis doctoral de José Ignacio Estevez Damas Esta investigación trata del diseño de algoritmos capaces de procesar adecuadametne un tipo
Planificación ambiental de los recursos forestales en la ix región de la araucanía, chile. definición de unidades homogéneas de gestión
Tesis doctoral de Saavedra Lucero José Luis El presente estudio comprende el desarrollo de un modelo de planificación ambiental, aplicado
Yehoshua bar-hillel: lógica de los lenguajes naturales, información semántica y linguística teórica
Tesis doctoral de Solans García Ana Eugenia La presente tesis céntrarse en el estudio de las consecuencias que, para el
Metodología didáctica para enseñanza de geometría descriptiva basada en un tutor-evaluador y en un generador de ejercicios integrados en un entorno de propósito constructivo general
Tesis doctoral de Antonio Carretero Díaz Esta tesis se enmarca en el área de conocimiento de expresión gráfica. el objetivo
Generacion de reglas restauradoras de la consistencia en esquemas relacionales con vistas
Tesis doctoral de Laura Mota Herranz En un sistema de base de datos, el cambio en el mundo real se
Integracion del espacio historia y el espacio tecnologías de la informacion y comunicaciones.
Tesis doctoral de Jesús Calabozo Moran La base del trabajo consiste en la presentación de metodos y tecnicas aplicables al
Aplicaciones de la teoria de conjuntos al analisis
Tesis doctoral de Jorge López Abad Consideremos la siguiente situacion: sea x es un espacio de banach separable de dimension
Estudio comparatiavo del concepto de aproximación local via el modelo de van hele.
Tesis doctoral de Esteban Duarte Pedro Vicente El objetivo de la memoria es estudiar el concepto de aproximación local en
Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal.
Tesis doctoral de Jorge Garcia Duque La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como