ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Igualando programas polimórficos que tienen la misma utilidad final
Autor/es:
CRISTIAN F. SOTTILE
Lugar:
Buenos Aires
Reunión:
Simposio; JAIIOO 2021 - Simposio de Trabajos Estudiantiles (EST); 2021
Institución organizadora:
SADIO - Sociedad Argentina de Informática
Resumen:
Resumen de mi tesina de grado "Agregando polimorfismo a una lógica que identifica proposiciones isomorfas" junto a resultados posteriores publicados en IFL´20.
