Generación automática de hipótesis vía razonamiento automatizado con aplicación a ciberseguridad
José Nicolás Paredes.
2021.
[14], 206 págs. : ilustraciones ; 30 cm.
Directores de tesis: Marcelo A. Falappa y Gerardo I. Simari.
"Tesis de Doctor en Ciencias de la Computación".
Tesis (doctoral)--Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación, 2021.
Disponible también en formato digital.
Incluye referencias bibliográficas.