Síntesis deductiva de programas lógicos con tipos

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

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