Seminar, Computational Mathematics
Mon 03 October - Sun 09 October
-
Seminar, Computational Mathematics
Wednesday 2022-10-05, 13:00
Participating: Ivan Di Liberti
Location: Albano, Cramer room
2022-10-05T13:00:00.000+02:00 2022-10-05T13:00:00.000+02:00 Ivan Di Liberti: \vdash vs \models (Seminar, Computational Mathematics) Albano, Cramer room (KTH, Stockholm, Sweden)Ivan Di Liberti: \vdash vs \models (Seminar, Computational Mathematics)