Prehľad tém bakalárskych prác 2017-2018: Zoltán Onódy: A proof assistant for elementary mathematics (Kľuka) Tamás Danis: Aplikácia na podporu prevencie a zdravia jedinca (Blaho) Revízia z 20:03, 22. október 2017; Petrovic (Diskusia | príspevky) (rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)