Results 1-20 of 38
Issue DateTitleAuthor(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Методичка збирка решених задатака из математике 1Балтић, Владимир; Михић, Оливера  ; Боричић, Марија  Text book
Mp. category will be shown later
2022Soft Outer Measure and Soft PremeasureStojanović, Nenad  ; Boricic, Marija  Article
21M21
2021On basic probability logic inequalitiesBoričić, Marija  Article
21a+M21a+
2020Probabilized sequent calculus and natural deduction system for classical logicBoričić, Marija  Book parts
Mp. category will be shown later
2019Suppes–style natural deduction system for classical logicBoričić, Marija B.  Conference Paper
Mp. category will be shown later
2019Методичка збирка решених задатака из математике 1Балтић, Владимир; Михић, Оливера  ; Боричић, Марија  Text book
Mp. category will be shown later
2019Design Structure Matrix for Evaluation of Critical Success Factors for Software ProjectsMitrović, Zorica M.  ; Ema Neskovic; Jovana Rakicevic  ; Marija Boricic  ; Olivera Mihic  Conference Paper
Mp. category will be shown later
2018Soundness and completeness of a high probabilities sequent calculusBoričić, Marija B.  Conference Paper
Mp. category will be shown later
2018Entropy and Logic ClassificationBoričić, Marija B.  Conference Paper
Mp. category will be shown later
2018Natural reasoning with high probabilitiesBoričić, Marija B.  Conference Paper
Mp. category will be shown later
2018Sequent calculus for classical logic probabilizedBoričić, Marija  Article
22M22
2018Sistemi zaključivanja sa visokim verovatnoćamaBoričić, Marija  Conference Paper
Mp. category will be shown later
2017Deduction rules for probabilized formulaeBoričić, Marija B.  Conference Paper
Mp. category will be shown later
2017On a probabilization of intuitionistic sequent calculusBoričić, Marija B.  Conference Paper
Mp. category will be shown later
2017A note on entropy of logicBoričić, Marija  Article
24+M24+
2016Soundness and completeness of a sequent calculus with high probabilitiesBoričić, Marija  Conference Paper
Mp. category will be shown later
2016Natural deduction probabilizedBoričić, Marija  Conference Paper
Mp. category will be shown later
2016Inference rules for probability logicBoričić, Marija  Article
23M23