Istraživači
Boričić Joksimović, Marija
Type
Date issued
Results 1-20 of 38
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2024 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера | Text book | Mp. category will be shown later |
| 2023 | Математика 1 | Ђорић, Драган; Лазовић, Раде | Text book | Mp. category will be shown later |
| 2022 | Soft Outer Measure and Soft Premeasure | Stojanović, Nenad | Article | 21M21 |
| 2022 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера | Text book | Mp. category will be shown later |
| 2021 | On basic probability logic inequalities | Boričić, Marija | Article | 21a+M21a+ |
| 2020 | Probabilized sequent calculus and natural deduction system for classical logic | Boričić, Marija | Book parts | Mp. category will be shown later |
| 2019 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера | Text book | Mp. category will be shown later |
| 2019 | Design Structure Matrix for Evaluation of Critical Success Factors for Software Projects![]() | Mitrović, Zorica M. | Conference Paper | Mp. category will be shown later |
| 2019 | Suppes–style natural deduction system for classical logic | Boričić, Marija B. | Conference Paper | Mp. category will be shown later |
| 2018 | Natural reasoning with high probabilities | Boričić, Marija B. | Conference Paper | Mp. category will be shown later |
| 2018 | Sequent calculus for classical logic probabilized | Boričić, Marija | Article | 22M22 |
| 2018 | Soundness and completeness of a high probabilities sequent calculus | Boričić, Marija B. | Conference Paper | Mp. category will be shown later |
| 2018 | Entropy and Logic Classification | Boričić, Marija B. | Conference Paper | Mp. category will be shown later |
| 2018 | Sistemi zaključivanja sa visokim verovatnoćama | Boričić, Marija | Conference Paper | Mp. category will be shown later |
| 2017 | On a probabilization of intuitionistic sequent calculus | Boričić, Marija B. | Conference Paper | Mp. category will be shown later |
| 2017 | A note on entropy of logic | Boričić, Marija | Article | 24+M24+ |
| 2017 | Deduction rules for probabilized formulae | Boričić, Marija B. | Conference Paper | Mp. category will be shown later |
| 2016 | Natural deduction probabilized | Boričić, Marija | Conference Paper | Mp. category will be shown later |
| 2016 | Inference rules for probability logic | Boričić, Marija | Article | 23M23 |
| 2016 | Soundness and completeness of a sequent calculus with high probabilities | Boričić, Marija | Conference Paper | Mp. category will be shown later |
