Vaš brskalnik ne omogoča JavaScript!
JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali pa uporabite sodobnejši brskalnik.
Nacionalni portal odprte znanosti
Odprta znanost
DiKUL
slv
|
eng
Iskanje
Brskanje
Novo v RUL
Kaj je RUL
V številkah
Pomoč
Prijava
Po članicah UL
Deleži
Največkrat
Datoteke
Letna poročila
Mentorstva
Osnovno
Bibliografija
Objave zaključnih del
Top ključne besede
Pojavnost ključnih besed
Komentorji
Bibliografija osebe. Seznam zajema vsa gradiva in ne le tista, kje je oseba mentor.
Magistrska dela (2)
Žiga Putrle:
Neprotislovnost klasične sintetične teorije izračunljivosti
Katja Albreht:
Modeli hiperbolične geometrije in njihova vizualizacija
Diplomska dela (6)
JANA ČEŠAREK:
Imaginarna kocka
IVO LIST:
Plavajoča vejica v čistem funkcijskem jeziku
Jure Taslak:
Yonedova lema in njena uporaba
BLAŽ ZUPANČIČ:
Izdelava in uporaba dokazovalnega pomočnika
Luka Sabotič:
Implementacija rekurzivnih podatkovnih tipov
Jure Smolar:
Kolimite v elementarnih toposih