еНаука - преглед
Преглед према Пројекат Justifications and non-classical reasoning
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 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 | Article | 21M21 |