Search results

Records found: 2  
Your query: Author Sysno/Doc.kind = "^stu_us_auth stu98111 ddp^"

  1. 1.Dokazovanie viet v systéme Lean

    Dokazovanie viet v systéme Lean
    Behun Matúš ; 010220  Jenča Gejza ; 010220 (Thesis advisor)
    2021
    SVF ; Date of acceptation : 08.06.2021 ; Degreee discipline : matematika ; Degree program : I-MPM

    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=159131
    diplomová práca
    book

    book

  2. 2.Homotopy types of independence complexes of some graphs

    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 ; Date of acceptation : 17.06.2014 ; Degree program : 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
    book

    book