Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
SLOM videozapisi (67)
Poredaj po
relevantnosti
datumu objave
broju pregleda
abecedi
trajanju
01:35:19
Luka Mikec: Potpunost i generalizirana Veltmanova semantika
Obrazovanje
1136
01:16:57
Filip Nikšić: Nasumično testiranje distribuiranih sustava
Obrazovanje
1558
01:19:26
Zvonimir Šikić: Logički pogled na definicije
Obrazovanje
1138
00:44:01
Zvonimir Šikić: Dokaz negacije hipoteze kontinuuma
Obrazovanje
1481
01:01:54
Andrej Ščedrov: Subexponentials in non-commutative linear logic
Obrazovanje
922
00:24:33
Ivan Gavran: Ophođenje s robotima - i prirodno i precizno
Obrazovanje
945
01:41:39
Luka Mikec: Potpunost logike interpretabilnosti ILP
Obrazovanje
1014
00:43:30
Ivan Gavran: Učenje temporalnih formula iz primjera
Obrazovanje
981
01:00:28
Zvonimir Šikić: Obaranje obaranja CH i obaranje Freilinga
Obrazovanje
1153
00:45:35
Branimir Stojanović:Formalizacija funkcija društvenog izbora u logici prvog...
Obrazovanje
989
01:35:56
Andrej Bauer: Constructions as foundations of mathematics
Obrazovanje
1338
01:31:48
Zvonimir Šikić: Aksiomatizacije i konstrukcije realnih brojeva
Obrazovanje
986