Results
| Title: | Development and verification of probability logics and logical frameworks Razvoj i verifikacija verovatnosnih logika i logičkih okruženja |
Authors: | Maksimović, Petar | Other contributors: | Liquori, Luigi; Marković, Zoran; Pantović, Jovanka   ; Ognjanović, Zoran ; Gilezan, Silvia |
Issue Date: | 2013 | Publication: | Univerzitet u Novom Sadu | Publisher: | Novi Sad : Univerziteet u Novom Sadu, Fakultet tehničkih nauka | Type: | Doctoral theses | VBS COBISS: | 283203591 | URI: | https://enauka.gov.rs/handle/123456789/911231 | Availability note: | Пуни текст је доступан само у штампаној форми | M-category: | 70M70 |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.