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.