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