Logike sa metričkim operatorima
Doktorand
Stojanović, NenadMentor
Ikodinović, NebojšaČlanovi komisije
Rašković, MiodragĐorđević, Radosav
Ilić Stepić, Angelina
Marinković, Silvana
Metapodaci
Prikaz svih podataka o disertacijiFakultet:
Универзитет у Крагујевцу, Природно-математички факултетDatum odbrane:
21-04-2019Projekti:
- Reprezentacije logičkih struktura i formalnih jezika i njihove primene u računarstvu (RS-MESTD-Basic Research (BR or ON)-174026)