Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.

Bibliographic Details
Main Author: Molina, Facundo Joaquín
Other Authors: Aguirre, Nazareno Matías
Format: bachelorThesis
Language:spa
Published: 2022
Subjects:
Online Access:http://hdl.handle.net/11086/26692
Description
Summary:Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.