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
731
01:12:45
Sebastijan Horvat: Eliminacija reza za IL upotrebom koalgeb. translacije dokaza
Obrazovanje
252
01:09:09
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti
Obrazovanje
459
01:14:21
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti (2)
Obrazovanje
327
00:48:22
Horvat, Programiranje 1, 5.10.2020. - 2. sat
Obrazovanje
1212
00:35:55
Marko Horvat, Izračunljive aproksimacije poluizračunljivih lančastih kontinuuma
Obrazovanje
969
00:30:10
Sebastijan Horvat: Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku
Obrazovanje
1083
00:56:44
Ilijas Farah: Strongly self-absorbing C*-algebras and logic
Obrazovanje
409
01:13:55
Zvonimir Šikić: Gödelov ontološki dokaz
Obrazovanje
803
00:46:40
Horvat, Programiranje 1, 5. vježbe, 1. sat
Obrazovanje
1072
