Výsledky vyhľadávania

Nájdených záznamov: 2  
Váš dotaz: Autor-kód záznamu + druh.dok = "^stu_us_auth stu98111 ddp^"
  1. Dokazovanie viet v systéme Lean
    Behun Matúš ; 010220  Jenča Gejza ; 010220 (škol.)
    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
    kniha

    kniha

  2. Homotopy types of independence complexes of some graphs
    Juhász Dávid ; V  Jenča Gejza (škol.) ; 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
    kniha

    kniha



  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.