Резултати
| Назив: | Development and verification of probability logics and logical frameworks Razvoj i verifikacija verovatnosnih logika i logičkih okruženja |
Аутори: | Maksimović, Petar | Остала ауторства: | Liquori, Luigi; Marković, Zoran; Pantović, Jovanka   ; Ognjanović, Zoran ; Gilezan, Silvia |
Година: | 2013 | Публикација: | Univerzitet u Novom Sadu | Издавач: | Novi Sad : Univerziteet u Novom Sadu, Fakultet tehničkih nauka | Тип резултата: | Докторска дисертација | VBS COBISS: | 283203591 | URI: | https://enauka.gov.rs/handle/123456789/911231 | Напомена о доступности: | Пуни текст је доступан само у штампаној форми | М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.