Tesis

  • Un modelo para el calculo paralelo de deducciones en lógica de predicados [1996]

    Categoría:
    Tesis
    Autores:
    José Ramiro Varela Arias
    Directores:
    María del Camino Rodríguez Vela , Antonio Bahamonde Rionda
    Departamento:
    Matemáticas, Departamento de
    Fecha:
    01 de Enero de 1996