17.09.2025, 10.00, Zasedací místnost B246, CIIRC, Jugoslávských partyzánů 1580/3, Praha 6
Akce
Obhajoba disertační práce (Mgr. Filip Bártek)
| Termín: | 17. 9. 202510:00 |
|---|---|
| Místo: | Zasedací místnost B246, CIIRC, Jugoslávských partyzánů 1580/3, Praha 6 |
| Odkaz: | Odkaz na web |
Obhajoba disertační práce "Machine Learning for Saturation-Based Theorem Proving", Mgr. Filip Bártek, studijní program „Informatika“.
