Seminario studenti - Dimostratori automatici di teoremi di Geometria Euclidea

Nell’ambito della stagione scientifica per gli studenti, martedì 13 marzo alle ore 15,15 in Aula Magna, il prof. Vincenzo Micale parlerà su “Dimostratori automatici di teoremi di Geometria Euclidea”.