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

Teoria computacional (en PVS) de la programación logica y del analisis formal de conceptos

María José Hidalgo Doblado

Tipo: Tesis
Lectura: 2004 en Universidad de Sevilla
Fuente Nº Citas Fecha Actualización
dialnet012-11-2024
No exiten datos para esta publicación
# Autor Departamento
1María José Hidalgo DobladoCiencias de la Computación e Inteligencia Artificial
# Director de la tesis Departamento
1José Antonio Alonso JiménezCiencias de la Computación e Inteligencia Artificial