Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
Učitavanje video playera...
01:28:39
Adlešić, Formalni pristup stratifikaciji u NF/NFU (2)
Nastavak predavanja od prošlog tjedna
Objavljeno:
04.01.2022
Unutar kategorije:
Obrazovanje
VoD paketi:
SLOM
Spremi sadržaj
Srodni zapisi
01:16:00
Vedran Čačić: Proširenje signature teorije NFU (2)
Obrazovanje
247
00:51:34
Mladen Vuković: Hindmanov teorem
Obrazovanje
561
01:12:48
Zvonimir Šikić: O ekvivalenciji, dokazima obrata i neiterabilnosti indukcije
Obrazovanje
546
01:27:01
Vedran Čačić: Büchijevi automati koji prepoznaju Hintikkina stabla
Obrazovanje
756
01:03:53
Vedran Čačić: Calculus of inductive constructions
Obrazovanje
934
01:23:32
Vedran Čačić: Büchijevi automati koji prepoznaju Hintikkina stabla (2)
Obrazovanje
723
01:04:45
Vedran Čačić: Calculus of inductive constructions (2)
Obrazovanje
683
01:34:24
Vedran Čačić: Büchijevi automati koji prepoznaju Hintikkina stabla (3)
Obrazovanje
1008
00:57:44
Vedran Čačić: Calculus of inductive constructions (3)
Obrazovanje
619
00:57:53
Vedran Čačić: Calculus of inductive constructions (4)
Obrazovanje
612