Metodos formales para normalizacion en logica de primer orden usando la metodología tas.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito […]
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito […]
Tesis doctoral de José Cristóbal Riquelme Santos En esta tesis se estudia un problema de aprendizaje supervisado y automatico a
Tesis doctoral de Jose Miguel Alonso En el ambito del diseño de computadores, la simulacion es una herramienta imprescindible para
Tesis doctoral de JavierOctavio Perez Campo El trabajo presenta el desarrollo de un sistema de comprobacion de tipos en programas
Tesis doctoral de Julio Esclarin Monreal Dentro del tema de tratamiento de imagenes, se ha modelizado la cuantificacion de imagenes
Tesis doctoral de Javier Garcia Zubia El objetivo de la tesis es desarrollar un nuevo metodo directo y computacional, camp
Tesis doctoral de Enrique Herrera Viedma Estudiamos los problemas de toma de decisiones en grupo (tdg) usando las tecnicas aportadas
Tesis doctoral de Fernando Jimenez Barrionuevo El problema que se ha abordado en este trabajo consiste en el estudio del
Tesis doctoral de Ruiz Del Castillo José Carlos En el campo de la formacion en administracion y direccion de empresas
Tesis doctoral de Rojas Palenzuela José F. El conocimiento de los procesos microscopicos que controlan la movilidad de las dislocaciones