Search results
- Dokazovanie viet v systéme Lean
Behun Matúš ; 010220 Jenča Gejza ; 010220 (Thesis advisor)
2021
SVF ; 08.06.2021 ; matematika ; I-MPM
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=159131
https://opac.crzp.sk/?fn=detailBiblioForm&sid=7E417B54B864B7C45225FB4635AB
diplomová práca - Homotopy types of independence complexes of some graphs
Juhász Dávid ; V Jenča Gejza (Thesis advisor) ; V220
Bratislava : STU v Bratislave SvF, 2014
SVF ; 17.06.2014 ; 15
matematicko-počítačové modelovanie Mathematical and Computational Modeling graph graf
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=100867
diplomová práca