INVESTIGADORES
ROFFÉ Ariel Jonathan
congresos y reuniones científicas
Título:
Reconstructor: un programa para testear reconstrucciones formales de teorías
Autor/es:
ROFFÉ, ARIEL JONATHAN
Lugar:
Ciudad Autónoma de Buenos Aires
Reunión:
Encuentro; XI Encuentro Iberoamericano de Metateoría Estructuralista; 2018
Resumen:
En esta presentación, se introduce un programa de computación llamado Reconstructor, diseñado con el objetivo de testear reconstrucciones formales de teorías realizadas bajo la metateoría estructuralista
