You are here

Home » Actividades » Seminario Rubio de Francia


Seminario Rubio de Francia


Conferenciante:  José Divasón (Universidad de La Rioja)

Título: Formalizacilón de matemáticas en demostradores interactivos de teoremas

Fecha:Jueves, 2 de marzo de 2023

Hora: 12:00 horas.

Lugar: Aula 7 (frente al Seminario Rubio de Francia), primera planta, Edificio B, Facultad de ciencias

Web: http://anamat.unizar.es/seminario.html


PDF icon Cartel conferencia