RD-2023-338-UNC-DEC#FAMAF
Abstract
Fijar el día 29 de junio de 2023 a las 16:00 horas, para que el Tribunal Especial reciba la exposición oral del trabajo de tesis titulado “Algoritmos para decidir definibilidad en fragmentos de lógica de primer orden”, correspondiente a Pablo Gabriel VENTURA
Date
2023-06-23xmlui.dri2xhtml.METS-1.0.item-type
Resolución
Decanato
xmlui.dri2xhtml.METS-1.0.item-repartition
Facultad de Matemática, Astronomía, Física y Computación
xmlui.dri2xhtml.METS-1.0.item-num
338
xmlui.dri2xhtml.METS-1.0.item-numesp
RD-2023-338-UNC-DEC#FAMAF
xmlui.dri2xhtml.METS-1.0.item-numexp
EXP 42165/2016