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
dialnet014-01-2025
No exiten datos para esta publicación