Design and implementation of exact max-sat solvers
Tesis doctoral de Jordi Planes Cid El problema de la satisfactibilidad (sat) es el problema que trata de decidir si […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
«modelos difusos para cuantificacion del rendimiento laboral: aportes para la construcción de un sistema inteligente de gestión de recursos humanos».
Tesis doctoral de Cofré Gajardo Francisco Alberto A conducta humana exhibe patrones conductuales impredecibles, lo cual alcanza todos los terrenos
Relación emergente en la obtención de conclusiones: validez – coherencia
Tesis doctoral de Cruz Mavil Miguel ángel Este trabajo recoge las actividades realizadas para investigar dificultades de los estudiantes en
Mejora de la calidad de la gestion de datos clinicos a traves de sistemas computerizados. aplicación a la informatizacion de la entrevista diagnostica estructurada dica-iv.
Tesis doctoral de Rosario Granero Perez El objeto básico del proyecto presentado en la tesis doctoral ha consistido en abordar
El proceso de generalizacion desarrollado por alumnos de secundaria en problemas de generalizacion lineal.
Tesis doctoral de Juan Antonio García Cruz La memoria de investigación presenta tres estudios dedicados al proceso de generalización. Dentro
Medios y materiales en la educacion fisica. un estudio en secundaria en la provincia de sevilla
Tesis doctoral de Juan Carlos Fernández Truán El estudio pretende ampliar el conocimiento actual sobre materiales didácticos empleados en las
Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
Tesis doctoral de José Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del
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
Teoría computacional (en acl2) sobre cálculos proposicionales
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y
Operadores de generalización para el aprendizaje clausal
Tesis doctoral de Miguel Angel Gutierrez Naranjo En esta memoria hemos estudiado los procesos de generalización, el paso de lo