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
743
01:12:45
Sebastijan Horvat: Eliminacija reza za IL upotrebom koalgeb. translacije dokaza
Obrazovanje
272
01:09:09
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti
Obrazovanje
473
01:14:21
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti (2)
Obrazovanje
337
01:13:37
Ivan Tomašić: Galoisova teorija u toposima
Obrazovanje
1047
00:38:53
Teo Šestak: Opći okviri logika interpretabilnosti
Obrazovanje
429
01:48:16
Zvonimir Šikić: Aritmetizacija analize
Obrazovanje
402
00:49:32
Horvat, Programiranje 2, vježbe, 1. sat - 8.3.2021.
Obrazovanje
1703
00:39:26
Ivan Gavran: Istovremeno učenje strategija i Mealyjevih mašina u RL-u
Obrazovanje
1216
00:46:38
Stipe Marić: Filtracija i bisimulacijski kvocijent u inkvizitivnoj mod. logici
Obrazovanje
821
