41 - 42 / 42 12345 |
41. Operacijska semantika za jezik s časovno omejenimi viri Gašper Žajdela, 2023, master's thesis/paper Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija |
42. Primerjava objektivnih in subjektivnih metod vrednotenja originalnosti pri nalogi alternativne uporabe Nika Leskovar, 2023, master's thesis Keywords: merjenje ustvarjalnosti, divergentno mišljenje, konstruktna veljavnost, notranja konsistentnost, skladnost med ocenjevalci, naloga alternativne uporabe |