Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Pomen zadovoljstva kupcev na uspešnost podjetja Kolesarski center
Žiga Bauer, Marko Hočevar
Diplomsko delo
Oznake: zadovoljstvo kupcev;uspešnost podjetja;diplomske naloge;
Pomen zadovoljstva kupcev na uspešnost podjetja Kolesarski center
Leto: 2012 Vir: Fakulteta za upravo (UL FU)
Neprotislovnost klasične sintetične teorije izračunljivosti
Žiga Putrle, Andrej Bauer
Magistrsko delo
Oznake: teorija tipov;teorij izračunljivosti;teorija realizabilnosti;dokazovalni pomočniki;
Yannick Forster v svojem doktorskem delu Computability in constructive type theory predlaga nov sintetični pristop k teoriji izračunljivosti, ki omogoča razvoj teorije na klasičen način s pomočjo dokazovalnega pomočnika. Teorijo izračunljivosti razvije v računu induktivnih konstrukcij (RIK) (ang. ca ...
Leto: 2023 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: