[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] |
Jess 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