Industrial and Intellectual Property

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

    Category:
    Tesis
    Authors:
    José Ramiro Varela Arias
    Directors:
    María del Camino Rodríguez Vela , Antonio Bahamonde Rionda
    Departament:
    Matemáticas, Departamento de
    Date:
    01 of January of 1996