Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento
Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas […]
Tesis doctoral de Luis María Laita De La Rica
Información academica Luis María Laita De La Rica. Tesis donde Luis María Laita De La Rica ha sido autor, director o parte del tribunal.
Conjuntos intuicionistas e intervalo-valorados difusos: propiedades y construccion. relaciones intuicionistas y estructuras
Tesis doctoral de Bustince Sola Nicanor Humberto La memoria estudia sistematicamente los conjuntos intuicionistas difusos. Analiza las estructuras algebraicas de
Contribucion al estudio de la logica y de los condicionales borrosos.
Tesis doctoral de Susana Cubillo Villanueva La tesis constituye una nueva vision y un conjunto de nuevas aportaciones sobre algunos
Un modelo teorico constructivo para el estudio de la accion cognitiva.
Tesis doctoral de Diaz De Rada Brun Juan Antonio El proposito de esta tesis es ofrecer una teoria sobre la
Automatizacion e implementacion de algunos problemas algebraicos y geometricos
Tesis doctoral de Eugenio Roanes Lozano El trabajo desarrollado se inicio con el proyecto de investigacion «simulacion informatica de problemas
Una contribucion a la programacion cognitiva: arquitecturas de segunda generacion para representacion del conocimiento.
Tesis doctoral de Manuel Alonso Gonzalez La tesis propone una clase de arquitecturas cognitivas multinivel para representar conocimiento en dominios
Modelo de verificacion de bases de conocimiento
Tesis doctoral de Couto Sayalero Julia Isabel Modelizacion de problemas estructurales en bb.Ce que usen logicas de primer orden.
Lenguaje formal para la automatizacion de programas estructurados
Tesis doctoral de Garcia De Diego Barber M. Teresa Datos académicos de la tesis doctoral «Lenguaje formal para la
Modelo de sistema de captacion no uniforme para sistemas de vision artificial orientados a la percepcion del movimiento y navegacion (mscnu).
Tesis doctoral de Hojas Hojas Luis Ignacio Datos académicos de la tesis doctoral «Modelo de sistema de captacion no
Control automatico de un citofotometro con plataforma movil mediante tecnicas de vision artificial en color real. aplicaciones a las ciencias experimentales.
Tesis doctoral de Rafael Medina Carnicer El trabajo presentado propone un nuevo algoritmo de segmentacion de escenas en color, basado