еНаука - преглед
Преглед према Аутор Ikodinović, Nebojša
Приказ резултата 1 до 20 од 121
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2018 | A class of models of bounded arithmetic and continuous logic | Ikodinović, Nebojša M.   ; Lasković, Bojana Ž. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, M.; Marković, Z.; Ognjanović, Zoran | Научни чланак | 21a+M21a+ - Водећи међународни часопис категорије M21a+ |
| 2011 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, Miodrag ; Zoran Marković; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2005 | A logic with coherent conditional probabilities | Ikodinović, Nebojša ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | A logic with higher order conditional probabilities | Ognjanović, Zoran ; Ikodinović, Nebojša | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2005 | A logic with Kolmogorov style conditional probabilities | Ognjanović, Zoran ; Ikodinović, Nebojša ; Marković, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2026 | A logic with probabilistic Jaccard similarity | Dabić, Maja; Stojanović, Nenad ; Ikodinović, Nebojša | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2015 | A p-adic probability logic | Ikodinović, Nebojša ; Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | A p-adic probability logic | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša ; Perović, Aleksandar | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2018 | A propositional logic with binary metric operators | Stojanović, Nenad S. ; Ikodinović, Nebojša M. ; Đorđević, Radosav S. | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2017 | A propositional logic with metric operators | Stojanović, Nenad S. ; Ikodinović, Nebojša M. ; Đorđević, Radosav S. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | A Propositional Metric Logic with Fixed Finite Ranges | Djordjevic R.; Ikodinović, Nebojša. ; Stojanovic, Nenad | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2016 | Анализa пребројивих модела потпуних теорија линеарно уређених структура | Ilić, Dejan D. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2015 | Асиметрични правилни типови | Moconja, Slavko M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2021 | Automated non-monotonic reasoning in System P | Stojanovic, Tatjana ; Ikodinović, Nebojša. ; Davidovíc T. ; Ognjanović Z. | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2011 | Biprobability logic with conditional expectation | Ristić, Vladimir ; Đorđević, Radosav; Ikodinović, Nebojša | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2016 | Completeness theorem for continuous functions and product class-topologies | Đorđević, Radosav ; Ristić, Vladimir ; Ikodinović, Nebojša | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | Completeness theorem for topological class models | Đorđević, Radosav ; Ikodinović, Nebojša ; Mijajlović, Žarko | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2020 | Completeness theorems for σ–additive probabilistic semantics | Ikodinović, Nebojša ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |
| 2012 | Conditional p-adic probability logic | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Конференцијски рад | Мп категорија ће бити приказана накнадно. |