[1] Carlos Guerrero GarcĢa. Un modelo multicriterio de localizaciŪn de centros no deseados con pesos. PhD thesis, Universidad de M·laga, EspaŅa, 2005.
[ bib ]
[2] Salvador Merino CŪrdoba. AutomatizaciŪn del diseŅo de torres. PhD thesis, Universidad de M·laga, EspaŅa, 2003.
[ bib ]
[3] Francisco J. RodrĢguez S·nchez. Conexiones de Galois DČbiles y nd-operadores de cierre, Razonamiento con Ejemplos. PhD thesis, Universidad de M·laga, EspaŅa, 2002.
[ bib ]
[4] Angel Mora Bonilla. Dependencias Funcionales, ideal-operadores no deterministas y operadores de sustituciŪn. PhD thesis, Universidad de M·laga, EspaŅa, 2002.
[ bib ]
[5] Jes™s Medina Moreno. RetĢ culos multiadjuntos y teoremas de continuidad para el operador de consecuencias. PhD thesis, Universidad de M·laga, EspaŅa, 2002.
[ bib ]
[6] Inma Fortes Ruiz. ProspecciŪn de datos, aprendizaje computacional y tČcnicas estadĢ sticas para la obtenciŪn de reglas. PhD thesis, Universidad de M·laga, EspaŅa, 2002.
[ bib ]
[7] Sixto S·nchez Merino. Sistemas de colas con demandas repetidas y con varios flujos de entrada. PhD thesis, Universidad de M·laga, EspaŅa, 2002.
[ bib ]
[8] Gloria GutiČrrez-Barranco. Bases de ideales en multirretĢculos y Delta-”rboles. PhD thesis, Universidad de M·laga, EspaŅa, 2001.
[ bib ]
[9] Javier MartĢnez del Castillo. Omega-·lgebras con operadores no deterministas. PhD thesis, Universidad de M·laga, EspaŅa, 2000.
[ bib ]
[10] P. Cordero. Ideales y filtros de implicados/implicantes en lŪgicas temporales con tiempo lineal y discreto. PhD thesis, Universidad de M·laga, EspaŅa, 1999.
[ bib ]
[11] A. Valverde. Δ-·rboles de implicantes e implicados y reducciones de lŪgicas signadas en ATPs. PhD thesis, Universidad de M·laga, EspaŅa, 1998.
[ bib ]
[12] G. Aguilera. Reducciones totales y parciales para el an·lisis de validez y construcciŪn de modelos en M3. PhD thesis, Universidad de M·laga, EspaŅa, 1997.
[ bib ]
[13] M. Ojeda-Aciego. MČtodos formales para normalizaciŪn en lŪgica de primer orden usando la metodologĢ a TAS. PhD thesis, Universidad de M·laga, EspaŅa, 1996.
[ bib ]
[14] M. Enciso. LŪgica temporal y demostraciŪn autom·tica de teoremas. Eficiencia y paralelismo. PhD thesis, Universidad de M·laga, EspaŅa, 1995.
[ bib ]
[15] Francisco Sanz. Hacia una alternativa a resoluciŪn. PhD thesis, Universidad de M·laga, EspaŅa, 1992.
[ bib ]

This file has been generated by bibtex2html 1.75