Search Results

  • Ensembles of Quantifiers;Algoritmos de cuantificación basados en combinación de modelos [2017]

    Category:
    Tesis
    Authors:
    Pablo José Pérez Gallego
    Directors:
    Juan José del Coz Velasco , José Ramón Quevedo Pérez
    Departament:
    Informática, Departamento de
    Date:
    21 of July of 2017