Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
Učitavanje video playera...
01:29:10
Sebastijan Horvat: Pametne oznake
Sebastijan Horvat: Pametne oznake
Objavljeno:
14.09.2020
Unutar kategorije:
Obrazovanje
VoD paketi:
LORA
Spremi sadržaj
Srodni zapisi
00:41:30
Sebastijan Horvat: Metoda selekcije za IL s obzirom na Verbruggeinu semantiku
Obrazovanje
304
01:16:00
Vedran Čačić: Proširenje signature teorije NFU (2)
Obrazovanje
452
00:38:49
Horvat, Programiranje 1, 5. vježbe, 2. sat, 2020-11-02
Obrazovanje
643
01:12:48
Zvonimir Šikić: O ekvivalenciji, dokazima obrata i neiterabilnosti indukcije
Obrazovanje
652
00:58:06
Sebastijan Horvat: Slabe bisimulacijske igre za Verbruggeinu semantiku
Obrazovanje
666
00:58:48
Tin Adlešić: Goldblatt-Thomasonov teorem bez pretpostavke elementarnosti
Obrazovanje
381
00:49:32
Horvat, Programiranje 2, vježbe, 1. sat - 8.3.2021.
Obrazovanje
1355
00:52:24
Sebastijan Horvat: PSPACE-potpunost GL₁
Obrazovanje
1476
01:11:08
Sebastijan Horvat: n-bisimulacije za generaliziranu Veltmanovu semantiku
Obrazovanje
947
00:50:42
Zvonimir Šikić - Easy access to incompleteness, undecid. and a related topic
Obrazovanje
483