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 […]
Tesis doctoral sobre Lenguajes formales
Accede a todas las tesis doctorales sobre Lenguajes formales mas relevantes.
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
Aplicacion de tecnicas de descripcion formal, mediante lenguaje sdl, al modelo arquitectonico de referencia normalizado de la infraestructura global de la informacion.
Tesis doctoral de Manuel Tomas Valero Esta tesis está dedicada a analizar el problema de la construcción de las futuras
La restriccion en la teoria de la gramatica (en torno a la evolucion de los modelos chomskyanos).
Tesis doctoral de Longa Martinez Victor Manuel En la tesis referida se analizan las principales divergencias sucedidas a lo largo
Un formalismo para la extraccion de informacion semantica en textos matematicos.
Tesis doctoral de Julia Diaz Garcia El trabajo de investigacion que se presenta ha sido desarrollado en el marco del
Conjuntos intuicionistas e intervalo-valorados difusos: propiedades y construccion. relaciones intuicionistas y estructuras
Tesis doctoral de Bustince Sola Nicanor Humberto La memoria estudia sistematicamente los conjuntos intuicionistas difusos. Analiza las estructuras algebraicas de
Ingenieria del aprendizaje: hacia una teoria formal y fundamental del aprendizaje
Tesis doctoral de Casares Gallego Ramon M. El proposito de la tesis es definir el termino aprendizaje con la precision
Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos
Verificacion de bases de conocimiento.
Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para
Una logica no estandard admisible para programas funcionales
Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas