Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
Učitavanje video playera...
01:29:10
Sebastijan Horvat: Pametne oznake
Sebastijan Horvat: Pametne oznake
Objavljeno:
14.09.2020
Unutar kategorije:
Obrazovanje
VoD paketi:
LORA
Spremi sadržaj
Srodni zapisi
01:12:45
Sebastijan Horvat: Eliminacija reza za IL upotrebom koalgeb. translacije dokaza
Obrazovanje
59
01:09:09
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti
Obrazovanje
376
01:14:21
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti (2)
Obrazovanje
237
00:41:30
Sebastijan Horvat: Metoda selekcije za IL s obzirom na Verbruggeinu semantiku
Obrazovanje
661
00:50:42
Zvonimir Šikić - Easy access to incompleteness, undecid. and a related topic
Obrazovanje
1145
00:49:04
Helena Maciuš: Hennessy-Milnerov teorem za topološku semantiku
Obrazovanje
428
01:13:13
Stipe Marić: Bisimulacija u inkvizitivnoj modalnoj logici
Obrazovanje
570
00:49:07
Teo Šestak - Elementarna teorija kategorije skupova
Obrazovanje
703
01:21:02
Borja Sierra Miranda: Local-progress proof theory
Obrazovanje
424
00:59:50
Tin Adlešić: Aksiomatizacije i modeli teorije NFU
Obrazovanje
597
