Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
LORA videozapisi (81)
Poredaj po
relevantnosti
datumu objave
broju pregleda
abecedi
trajanju
01:09:09
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti
Obrazovanje
39
01:21:02
Borja Sierra Miranda: Local-progress proof theory
Obrazovanje
49
00:49:04
Helena Maciuš: Hennessy-Milnerov teorem za topološku semantiku
Obrazovanje
90
01:18:43
Zvonimir Šikić: Von Neumannova teorija skupova VNS
Obrazovanje
180
01:31:00
Zvonimir Šikić: Što je i kako radi ChatGpt?
Obrazovanje
274
00:17:43
Tin Perkov: 60 godina Seminara za matematičku logiku i osnove matematike
Obrazovanje
176
00:27:18
Teo Šestak: Kanonski opći okviri logika interpretabilnosti
Obrazovanje
162
00:39:11
Stipe Marić: Svojstvo kon. modela i odlučivost inkv. mod. logike i njenih p...
Obrazovanje
190
00:57:20
Vedran Čačić: Ovjereni algoritam za stratifikaciju (2)
Obrazovanje
105
01:18:56
Vedran Čačić: Ovjereni algoritam za stratifikaciju
Obrazovanje
121
01:09:27
Zvonimir Šikić: Prirodni brojevi - što su i koja im je logika
Obrazovanje
146
00:38:53
Teo Šestak: Opći okviri logika interpretabilnosti
Obrazovanje
220
