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

Síntesis deductiva de programas lógicos con tipos

Francisco José Galán Morillo; José Miguel Toro Bonilla

Fuente Nº Citas Fecha Actualización
dialnet003-12-2024
No exiten datos para esta publicación