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
01:12:45
Sebastijan Horvat: Eliminacija reza za IL upotrebom koalgeb. translacije dokaza
Obrazovanje
128
01:09:09
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti
Obrazovanje
391
01:14:21
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti (2)
Obrazovanje
252
00:41:30
Sebastijan Horvat: Metoda selekcije za IL s obzirom na Verbruggeinu semantiku
Obrazovanje
674
01:16:00
Vedran Čačić: Proširenje signature teorije NFU (2)
Obrazovanje
1003
01:31:00
Zvonimir Šikić: Što je i kako radi ChatGpt?
Obrazovanje
1012
00:51:38
Matej Mihelčić: Lokalizirano moralno planiranje korištenjem linearne tempor log
Obrazovanje
154
01:12:48
Zvonimir Šikić: O ekvivalenciji, dokazima obrata i neiterabilnosti indukcije
Obrazovanje
1038
00:58:06
Sebastijan Horvat: Slabe bisimulacijske igre za Verbruggeinu semantiku
Obrazovanje
1017
00:58:48
Tin Adlešić: Goldblatt-Thomasonov teorem bez pretpostavke elementarnosti
Obrazovanje
854
