еНаука - преглед
Преглед према Аутор Ognjanović, Zoran
Приказ резултата 141 до 160 од 334
< претходно
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | Elektronski Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | Jakšić, Tatjana | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2015 | ELEKTRONSKI KATALOG SPOMENICI KULTURE U SRBIJI (2014 – 2015) | Vujošević, Sandra; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Elektronski zdravstveni karton pacijenata Klinike za alergologiju i imunologiju Klinickog centra Srbije![]() | Glišović, Nataša; Đurić, Vojislav | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2015 | Exploratory Analysis of Communities in Co-authorship Networks: A Case Study | Savić, Miloš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Extraction and analysis of complex networks from different domains | Savić, Miloš | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Finitely Additive Probability Measures in Automated Medical Diagnostics | Knežević, Milica M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm | Perović, Aleksandar | Научни чланак | 21a+M21a+ - Водећи међународни часопис категорије M21a+ |
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2015 | First-Order Probabilistic Common Knowledge Logic | Tomović, Siniša S. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | First-order probabilistic logics and their applications![]() | Ikodinović, Nebojša | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2013 | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | Marinković, Bojan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Formalizacija, implementacija i primene SAT rešavača![]() | Marić, Filip | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2003 | Genetski algoritam za PSAT | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Usmeravanje pretrage u automatskom dokazivanju teorema![]() | Nikolić, Mladen S. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2014 | Heritage Portals and Heritage Mining: Synergizing Data and Image Mining under Uncertainty Constraints | Milutinovic, V.; Salom, J.; Jelisavcic, V. | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Hierarchies of probabilistic logics![]() | Ikodinović, Nebojša | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2013 | Hierarchies of probability logics![]() | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Hierarchies of probability logics![]() | Ikodinović, Nebojša | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | History of Mathematical Logic in Serbia![]() | Borisavljević, Mirjana | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
