Marianna Girlando MOIN: a theorem prover for intuitionistic modal logic
seminario di filoLOGICA a cura di Guido Gherardi, Eugenio Orlandelli, Riccardo Zanichelli
-
Data: 27 maggio 2021 dalle 14:30 alle 17:00
-
Luogo: Aula virtuale teams corso di Logica (LM) 29345
-
Modalità d'accesso: Ingresso libero