Conexiones de galois débiles y nd-operadores de cierre. razonamiento con ejemplos

Tesis doctoral de Rodríguez Sánchez Francisco Joaquin Analizando los trabajos existentes en la literatura sobre razonamiento automático basados en el […]

, , , , ,