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
dialnet008-11-2023
No exiten datos para esta publicación