Aportaciones a la resolucion de la elipsis en lenguaje natural utilizando tecnicas incrementales.
Tesis doctoral de Manuel Palomar Sanz Esta tesis trata la resolucion de la elipsis en estructuras coordinadas como un problema […]
Tesis doctoral de Isidro Ramos Salavert
Información academica Isidro Ramos Salavert. Tesis donde Isidro Ramos Salavert ha sido autor, director o parte del tribunal.
Reflexiones sobre el proceso de concepcion de sistemas complejos. medes: un metodo de especificacion, desarrollo y evolucion de sistemas software.
Tesis doctoral de José Parets Llorca Desarrollo de un metodo de desarrollo y evolucion de sistemas software basado en la
Formalizacion algebraica de un entorno de produccion automatica de prototipos orientados a objetos
Tesis doctoral de Ambrosio Toval Alvarez Presentamos en esta tesis un entorno formal de desarrollo de prototipos operacionales, o funcionales,
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
Soluciones formales al problema de la deteccion del interbloqueo.
Tesis doctoral de José Ramon Gonzalez De Mendivil Moreno El objetivo del trabajo ha sido el desarrollo de algoritmos de
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
Algoritmos para la deteccion del interbloqueo en bases de datos distribuidas
Tesis doctoral de Alberto Cordoba Izaguirre Datos académicos de la tesis doctoral «Algoritmos para la deteccion del interbloqueo en
Mantenimiento de la razon en sistemas basados en el conocimiento dependientes del tiempo.
Tesis doctoral de Vicent Botti Navarro Las aportaciones fundamentales de la tesis presentada consisten en establecer los requerimientos funcionales de
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
Tecnicas de reescritura para especificaciones condicionales.
Tesis doctoral de María Luisa Navarro Gómez Datos académicos de la tesis doctoral «Tecnicas de reescritura para especificaciones condicionales.«