Representacion del conocimiento y demostracion automatica mediante sistemas de logica modal ocasional.
Tesis doctoral de Anselmo Romaniega Langa Se definen axiomatica y semanticamente varios sistemas de logica modal ocasionalen base a una […]
Tesis doctoral de Scala Estalella Juan Jose
Información academica Scala Estalella Juan Jose. Tesis donde Scala Estalella Juan Jose ha sido autor, director o parte del tribunal.
Sistema interactivo de ayuda al diseño de programas.
Tesis doctoral de Jose Martin Faba El sistema interactivo de ayuda al diseño de programas en el resultado de la
Criterios de aceptabilidad de defectos en las tuberias de canalizaciones en base a los resultados de analisis fotoelasticos tridimensionales.
Tesis doctoral de Ramon Fernandez Loeches La cuantificacion de la influencia de los defectos superficiales en la disminucion de la
Medida de eficiencia y complejidad de algoritmos de compresion de informacion: aplicacion a base de datos
Tesis doctoral de Amador Rodriguez Prieto Se propone y experimenta un procedimiento para medir la relacion complejidad-eficiencia de los algoritmos
Programas abiertos como principio del metodo de teoria en inteligencia artificial
Tesis doctoral de Juan Pazos Sierra Esta tesis pretende sentar las bases para la construccion de una teoria de la
Un principio variacional para la dinamica de continuos unidimensionales elasticos.
Tesis doctoral de Carlos Bastero De Eleizalde En este trabajo se establece un principio variacional para la dinamica de continuos
Desarrollo de un nuevo metodo numerico de analisis cinematico, estatico y dinamico de mecanismos.
Tesis doctoral de Miguel Angel Serna Oliveira La presente tesis consta de tres partes bien diferenciadas relativas al analisis de
Analisis de los procesos de conformacion por deformacion plastica por el metodo de los elementos finitos.
Tesis doctoral de Miguel Angel Sebastian Perez El objeto de esta tesis se basa en el hecho de plantear y
Analisis dinamico de maquinas-herramienta por el metodo de los elementos finitos.
Tesis doctoral de Perez Garcia Jesús M. En el presente trabajo se plantea una revision de los metodos mas ampliamente
Diseño evaluacion y optimizacion de un modelo de enseñanza asistida con ordenador.
Tesis doctoral de José Alberto Jaén Gallego Se desarrolla la idea de que la intervencion del ordenador en el sistema