En los límites de la arquitectura. espacio, sistema y disciplina.
Tesis doctoral de Núria Ruiz Esteban Esta tesis parte como una exploración en el límite,·uno de los elementos más importantes […]
Tesis doctoral sobre Sistemas formales
Accede a todas las tesis doctorales sobre Sistemas formales mas relevantes.
Gestión mecanizada del conocimiento matemático en topología algebraica
Tesis doctoral de Jónatan Heras Vicente Esta tesis presenta una particularización de la gestión del conocimiento matemático (mathematical knowledge management)
An object-oriented formal notation: executable specifications in clay
Tesis doctoral de ángel Herranz Nieva La tesis introduce clay, una notación formal orientada a objetos que busca acercar los
Rule-based methodologies for the specification and analysis of complex computing systems
Tesis doctoral de Michele Baggi From the earliest hardware and software days to the internet era, complexity of computer systems
Geometry of grammar: exercices in lambek style
Tesis doctoral de Mario Fadda This thesis studies proof nets for several variants of the lambek calculus and their classical
La educación ambiental en los sistemas educativos de méxico y españa a nivel primaria y secundaria. un estudio comparado
Tesis doctoral de Héctor Manuel Talamantes Gómez Teniendo en consideración la resolución 57/254 de la asamblea general de las naciones
Negaciones subintuicionistas para logicas con la conversa de la propiedad ackermann
Tesis doctoral de Gemma Robles Vazquez Una lógica se denomina «positiva» si carece de negación. Decimos que una lógica tiene
Modelos formales de explicacón en lógica e inteligencia artificial
Tesis doctoral de Fernando Soler Toscano La abducción es el tipo de razonamiento en que, dada una teoría t (habitualmente
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
Técnicas de automatización avanzadas en procesos industriales
Tesis doctoral de Emilio Jiménez Macías La tesis presenta una metodología para la mejora de los procesos productivos en plantas