eNauka - pregled
Pregled prema Projekat Justifications and non-classical reasoning
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan  ; Glavan, Paola; Ognjanović, Zoran  ; Studer, Thomas | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |