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