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
685
01:12:45
Sebastijan Horvat: Eliminacija reza za IL upotrebom koalgeb. translacije dokaza
Obrazovanje
155
01:09:09
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti
Obrazovanje
405
01:14:21
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti (2)
Obrazovanje
265
00:38:49
Horvat, Programiranje 1, 5. vježbe, 2. sat, 2020-11-02
Obrazovanje
934
01:06:51
Tajana Ban Kirigin: Modeliranje resursa u verifikaciji sigurnosnih protokola
Obrazovanje
1090
01:02:11
Validžić, Topološka semantika logikâ konzervativnosti i interpretabilnosti 2
Obrazovanje
859
01:20:49
Vedran Čačić: Teorem Tarskog u teoriji NFU
Obrazovanje
780
00:54:52
Helena Marciuš: Modalne logike metričkih prostora
Obrazovanje
419
00:41:16
Teo Šestak: Algebarska semantika za logike interpretabilnosti
Obrazovanje
252
