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

TEORIA COMPUTACIONAL (en ACL2) SOBRE CÁLCULOS PROPOSICIONALES

Martin Mateos, Francisco Jesus

Tipo: Tesis
Próg. doctorado: COMPUTACION, INTELIGENCIA ARTIFICIAL Y TECNOLOGIA DE COMPUTADORES
Lectura: 17/09/2002 en Universidad de Sevilla
Fuente Nº Citas Fecha Actualización
dialnet002-04-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