Истраживачи

Резултати 1-20 од 38
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2024Методичка збирка решених задатака из математике 1Балтић, Владимир; Михић, Оливера  ; Боричић, Марија  Уџбеник
Мп категорија ће бити приказана накнадно.
2023Математика 1Ђорић, Драган; Лазовић, Раде ; Боричић, Марија  Уџбеник
Мп категорија ће бити приказана накнадно.
2022Soft Outer Measure and Soft PremeasureStojanović, Nenad  ; Boricic, Marija  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2022Методичка збирка решених задатака из математике 1Балтић, Владимир; Михић, Оливера  ; Боричић, Марија  Уџбеник
Мп категорија ће бити приказана накнадно.
2021On basic probability logic inequalitiesBoričić, Marija  Научни чланак
21a+M21a+ - Водећи међународни часопис категорије M21a+
2020Probabilized sequent calculus and natural deduction system for classical logicBoričić, Marija  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2019Методичка збирка решених задатака из математике 1Балтић, Владимир; Михић, Оливера  ; Боричић, Марија  Уџбеник
Мп категорија ће бити приказана накнадно.
2019Design Structure Matrix for Evaluation of Critical Success Factors for Software ProjectsMitrović, Zorica M.  ; Ema Neskovic; Jovana Rakicevic  ; Marija Boricic  ; Olivera Mihic  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Suppes–style natural deduction system for classical logicBoričić, Marija B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Natural reasoning with high probabilitiesBoričić, Marija B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Sequent calculus for classical logic probabilizedBoričić, Marija  Научни чланак
22M22 - Међународни часопис категорије M22
2018Soundness and completeness of a high probabilities sequent calculusBoričić, Marija B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Entropy and Logic ClassificationBoričić, Marija B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Sistemi zaključivanja sa visokim verovatnoćamaBoričić, Marija  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017On a probabilization of intuitionistic sequent calculusBoričić, Marija B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Deduction rules for probabilized formulaeBoričić, Marija B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017A note on entropy of logicBoričić, Marija  Научни чланак
24+M24+ - Међународни часопис категорије M24+
2016Natural deduction probabilizedBoričić, Marija  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016Inference rules for probability logicBoričić, Marija  Научни чланак
23M23 - Међународни часопис категорије M23
2016Soundness and completeness of a sequent calculus with high probabilitiesBoričić, Marija  Конференцијски рад
Мп категорија ће бити приказана накнадно.