Fundamentacion de un sistema para la resolucion automatica de problemas
Tesis doctoral de Francisco Saiz Lopez Se describe un sistema, progenes, que permite resolver automaticamente un alto porcentaje de problemas […]
Tesis doctoral de Mario Rodríguez Artalejo
Información academica Mario Rodríguez Artalejo. Tesis donde Mario Rodríguez Artalejo ha sido autor, director o parte del tribunal.
Contributions to the study of resource-bounded measure
Tesis doctoral de Elvira Mayordomo Camara La tesis presenta extensiones y nuevas aplicaciones de la teoria de la medida con
Decidibilidad de problemas sobre redes de petri temporizadas.
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.
L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del
Un formalismo para la representacion y utilizacion de informacion bilingue en sistemas de traduccion automatica.
Tesis doctoral de Pilar Rodríguez Marín Datos académicos de la tesis doctoral «Un formalismo para la representacion y utilizacion
Caracterizacion no monotona de la inferencia inductiva y su aplicacion al aprendizaje basado en similitudes (sbl)
Tesis doctoral de Gustavo Nuñez Esquer Datos académicos de la tesis doctoral «Caracterizacion no monotona de la inferencia inductiva
Modelado formal de sistemas sincronos
Tesis doctoral de Arturo Azcorra Saloña Datos académicos de la tesis doctoral «Modelado formal de sistemas sincronos« Título de
Un lenguaje para el diseño y validacion de especificaciones algebraicas.
Tesis doctoral de Ines Clerici Silvia Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion