Resultados de la búsqueda

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

    Categoría:
    Tesis
    Autores:
    Pablo José Pérez Gallego
    Directores:
    José Ramón Quevedo Pérez , Juan José del Coz Velasco
    Departamento:
    Informática, Departamento de
    Fecha:
    21 de Julio de 2017