Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados
Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Simulacion de reguladores de intensidad constante utilizados en el balizamiento aeronautico.
Tesis doctoral de Bugallo Siegel Francisco Javier En este trabajo se simulan ondas analogas a las reales utilizando medios informaticos,
Planificacion del movimiento de robots basada en tecnicas de inteligencia artificial: aplicacion de un modelo esferico.
Tesis doctoral de Pascual Del Pobil Ferre Angel Luis Se presenta una representacion simple y versatil para la planificacion del
Los sistemas expertos y la adopcion de decisiones financieras y no financieras.
Tesis doctoral de Mateo Mateo M. Carmen Datos académicos de la tesis doctoral «Los sistemas expertos y la adopcion
Aproximacion metodologica para el diseño de prototipos funcionales
Tesis doctoral de Luis Garcia Sanchez Datos académicos de la tesis doctoral «Aproximacion metodologica para el diseño de prototipos
El aprendizaje mediante ordenador en el aula.
Tesis doctoral de María Rosario Reparaz Abaitua La introduccion de los ordenadores en el aula brinda a la educacion una
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
Metodo de construccion del nucleo de una base de conocimientos a partir de un modelo de clasificacion documental.
Tesis doctoral de Natalia Juristo Jurado No hace falta decir que la documentacion escrita es, el mayor almacen de conocimiento
Envolvente de una familia uniparametrica de cuadricas.
Tesis doctoral de Rodil Gonzalez José Luis La tesis consiste en un estudio efectuado en el contexto de las tecnicas
Mecanismos de integracion multisensorial un sistema de percepcion artificial.
Tesis doctoral de Alberto Ruíz García El presente trabajo considera sistemas dotados de sensores que proporcionan informacion sobre magnitudes fisicas