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 […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Contribucion a la formalizacion de la fase de ejecucion de pruebas.
Tesis doctoral de Huecas Fernandez Toribio Gabriel En el campo de la ingenieria de protocolos es fundamental el papel que
Diseño y verificacion de sistemas en lotos
Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para
Transformacion y verificacion con lotos
Tesis doctoral de José Juan Pazos Arias El trabajo de la tesis es una contribucion al diseño y desarrollo de
Un estudio algebraico de las logicas temporales
Tesis doctoral de Francisco Garcia Olmedo En la memoria se efectua un estudio de las algebras temporales. En el mismo
Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica
Modelos de induccion acotada.
Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones
Fundamentos logico-conceptuales para una teoria general de la racionalidad: razonamiento teorico y practico
Tesis doctoral de Perez Miranda Luis Angel En el primer capitulo mostramos que la critica al enfoque logico clasico, en
Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento
Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas
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