Istraživači
Boričić Joksimović, Marija
Godina
Mp-kat.
- 23 M30/M60
- 5 ostalo
- 2 M10/M40
- 2 M21 - Vodeći međunarodni časopis kategorije M21
- 2 M23 - Međunarodni časopis kategorije M23
- 1 M21a - Vodeći međunarodni časopis kategorije M21a
- 1 M21a+ - Vodeći međunarodni časopis kategorije M21a+
- 1 M22 - Međunarodni časopis kategorije M22
- 1 M24+ - Međunarodni časopis kategorije M24+
Godina - raspon
Rezultati 1-20 od 38
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2024 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера   ; Боричић, Марија | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2023 | Математика 1 | Ђорић, Драган; Лазовић, Раде ; Боричић, Марија | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2022 | Soft Outer Measure and Soft Premeasure | Stojanović, Nenad ; Boricic, Marija | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2022 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера ; Боричић, Марија | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2021 | On basic probability logic inequalities | Boričić, Marija | Naučni članak | 21a+M21a+ - Vodeći međunarodni časopis kategorije M21a+ |
| 2020 | Probabilized sequent calculus and natural deduction system for classical logic | Boričić, Marija | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2019 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера ; Боричић, Марија | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2019 | Design Structure Matrix for Evaluation of Critical Success Factors for Software Projects | Mitrović, Zorica M. ; Ema Neskovic; Jovana Rakicevic ; Marija Boricic ; Olivera Mihic | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Suppes–style natural deduction system for classical logic | Boričić, Marija B. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Natural reasoning with high probabilities | Boričić, Marija B. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Sequent calculus for classical logic probabilized | Boričić, Marija | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2018 | Soundness and completeness of a high probabilities sequent calculus | Boričić, Marija B. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Entropy and Logic Classification | Boričić, Marija B. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Sistemi zaključivanja sa visokim verovatnoćama | Boričić, Marija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | On a probabilization of intuitionistic sequent calculus | Boričić, Marija B. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | A note on entropy of logic | Boričić, Marija | Naučni članak | 24+M24+ - Međunarodni časopis kategorije M24+ |
| 2017 | Deduction rules for probabilized formulae | Boričić, Marija B. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Natural deduction probabilized | Boričić, Marija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Inference rules for probability logic | Boričić, Marija | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2016 | Soundness and completeness of a sequent calculus with high probabilities | Boričić, Marija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |