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:09:09
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti
Obrazovanje
269
01:14:21
Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti (2)
Obrazovanje
156
00:41:30
Sebastijan Horvat: Metoda selekcije za IL s obzirom na Verbruggeinu semantiku
Obrazovanje
585
01:13:13
Stipe Marić: Bisimulacija u inkvizitivnoj modalnoj logici
Obrazovanje
510
00:49:07
Teo Šestak - Elementarna teorija kategorije skupova
Obrazovanje
610
01:21:02
Borja Sierra Miranda: Local-progress proof theory
Obrazovanje
272
00:59:50
Tin Adlešić: Aksiomatizacije i modeli teorije NFU
Obrazovanje
556
00:59:30
Zvonimir Šikić: Konsonantnost i Pitagorin zakon malih brojeva
Obrazovanje
881
00:56:00
Matea Jelić: Izračunljivost poopćenih grafova
Obrazovanje
472
00:40:55
Dora Raštegorac: Detaljan prikaz mogućnosti softvera Tableau
Obrazovanje
460
