Lógicas de orden superior y verificación formal
Ponente: Lourdes del Carmen González Huesca
Institución: FC-UNAM
06/05/2025 de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Computación, Lógica, Coloquio con video, Coloquio en Ciudad Universitaria CDMX