Automated deduction with constrained clauses
Tesis doctoral de Albert Rubio Gimeno Esta tesis doctoral se centra en el estudio de mecanismos para realizar deduccion automatica […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Modelizacion de situacion de competitividad usando tecnicas hibridas.
Tesis doctoral de Mateo Rodriguez Luis Francisco Esta tesis estudia, en un plano practico, la teoria matematica de volterra, generalizada
Sistema experto bayesiano para ecocardiografia.
Tesis doctoral de Francisco Javier Diez Vega Las redes bayesianas constituyen un formalismo para el tratamiento de la incertidumbre a
Programacion logica para la gestion de bases de datos relacionales aplicadas a bases de datos lexicas.
Tesis doctoral de Iraola Moreno Luis Oliverio Este trabajo se situa en la zona de confluencia de diversas disciplinas de
Integracion de bases de datos relacionales por medio de un sistema terminologico: una propuesta utilizando back
Tesis doctoral de Blanco Arbe José Miguel El objetivo de la tesis consiste en desarrollar un metodo de integracion de
Disseny de transaccions a partir de models conceptuals deductius
Tesis doctoral de María Ribera Sancho Samso La finalidad de las especificaciones conceptuales de un sistema de informacion (si) es
Desarrollo de aplicaciones a nivel cognitivo mediante entornos de conocimiento estructurado
Tesis doctoral de Martin Molina Gonzalez En la tesis se propone una entidad descriptiva para formulacion de modelos estructurados de
Contribuciones a la teoria computacional del aprendizaje: ejemplos de aplicacion.
Tesis doctoral de Jesús Gonzalez Boticario El origen del trabajo objeto de esta memoria fue la evidencia de falta de
Programacion funcional y logica con restricciones
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion
Simulacion de modelos de produccion: fundamentos y aplicaciones.
Tesis doctoral de Vicente Gascon Gascon En la presente investigacion se estudian los principales modelos de planificacion por redes utilizables