Resultados de la búsqueda
-
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