Ver Publicación - Prisma - Unidad de Bibliometría

TEORIA COMPUTACIONAL (en ACL2) SOBRE CÁLCULOS PROPOSICIONALES

Martin Mateos, Francisco Jesus

Tipo: Tesis
Prog. doctorado: Código 1793
Lectura: 17/09/2002 en Universidad de Sevilla
Fuente Nº Citas Fecha Actualización
dialnet012-11-2024
No exiten datos para esta publicación

Sobresaliente "Cum Laude"

# Autor Departamento
1Martin Mateos, Francisco JesusCiencias de la Computación e Inteligencia Artificial
# Director de la tesis Departamento
1Alonso Jimenez, Jose AntonioCiencias de la Computación e Inteligencia Artificial