Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar […]
Tesis doctoral de Buenaventura Clares Rodríguez
Información academica Buenaventura Clares Rodríguez. Tesis donde Buenaventura Clares Rodríguez ha sido autor, director o parte del tribunal.
Representacion y combinacion de la informacion con incertidumbre mediante convexos de probabilidades.
Tesis doctoral de Verdegay Lopez Juan Francisco En esta memoria se trata sobre cómo poder trabajar con información con incertidumbre.
Especificacion formal de sistemas graficos.
Tesis doctoral de Miguel Gea Megias En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la
Origen y uso de los conjuntos graduales en la matematica difusa.
Tesis doctoral de Herencia Gonzalez José Antonio En el trabajo se introduce un concepto nuevo denominado «conjunto gradual» (definido como