Истраживачи
Boričić Joksimović, Marija
Година
Мп-кат.
- 23 M30/M60
- 5 остало
- 2 M10/M40
- 2 M21 - Водећи међународни часопис категорије M21
- 2 M23 - Међународни часопис категорије M23
- 1 M21a - Водећи међународни часопис категорије M21a
- 1 M21a+ - Водећи међународни часопис категорије M21a+
- 1 M22 - Међународни часопис категорије M22
- 1 M24+ - Међународни часопис категорије M24+
Година - распон
Резултати 1-20 од 38
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2024 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2023 | Математика 1 | Ђорић, Драган; Лазовић, Раде | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2022 | Soft Outer Measure and Soft Premeasure | Stojanović, Nenad | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2022 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2021 | On basic probability logic inequalities | Boričić, Marija | Научни чланак | 21a+M21a+ - Водећи међународни часопис категорије M21a+ |
| 2020 | Probabilized sequent calculus and natural deduction system for classical logic | Boričić, Marija | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2019 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | Design Structure Matrix for Evaluation of Critical Success Factors for Software Projects![]() | Mitrović, Zorica M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Suppes–style natural deduction system for classical logic | Boričić, Marija B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Natural reasoning with high probabilities | Boričić, Marija B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Sequent calculus for classical logic probabilized | Boričić, Marija | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2018 | Soundness and completeness of a high probabilities sequent calculus | Boričić, Marija B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Entropy and Logic Classification | Boričić, Marija B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Sistemi zaključivanja sa visokim verovatnoćama | Boričić, Marija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | On a probabilization of intuitionistic sequent calculus | Boričić, Marija B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Deduction rules for probabilized formulae | Boričić, Marija B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | A note on entropy of logic | Boričić, Marija | Научни чланак | 24+M24+ - Међународни часопис категорије M24+ |
| 2016 | Natural deduction probabilized | Boričić, Marija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Inference rules for probability logic | Boričić, Marija | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2016 | Soundness and completeness of a sequent calculus with high probabilities | Boričić, Marija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
