Search Results
-
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