“International Symposium on Logic-Based Program Synthesis and Transformation”
Martedì 09 Settembre 2025 09:30 / Martedì 09 Settembre 2025 17:00 Biblioteca di Area Tecnico-Scientifica (BATS) Evento a cura del Dipartimento di Matematica e Informatica Prestito personale Delibera veloce Martedì…