Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones […]
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones […]
Tesis doctoral de Agustin Alvarez Marquina La hipótesis en la que se basa el desarrollo de esta tesis, se centra
Tesis doctoral de Hipolito Irago Baulde En esta tesis analizamos varios tópicos correspondientes al sistema de elasticidad lineal en vigas
Tesis doctoral de Rachid Oujja La memoria consta de dos partes en las que se tratan problemas con ecuaciones en
Tesis doctoral de Francisco Javier Duran Muñoz En esta tesis hemos definido un álgebra de módulos extensible para la lógica
Tesis doctoral de Asuncion Lubiano Gomez En la memoria se extiende la noción de dispersión al caso de variables aleatorias
Tesis doctoral de Graciliano Nicolas Marichal Plasencia Este trabajo de investigación se enmarca dentro del campo de la robótica. En
Tesis doctoral de Arturo Jaime Elizondo Como refleja el título de la tesis, nuestro trabajo se centra en el soporte
Tesis doctoral de Ignasi Mundet Riera Datos académicos de la tesis doctoral «Teoria de yang-mills-higgs para fibraciones simplecticas.« Título
Tesis doctoral de Alonso Joaquin Peralta Gimenez Datos académicos de la tesis doctoral «Uol: an object-oriented software development language.«