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 | Методичка збирка решених задатака из математике 1 | Балтић, Владимир; Михић, Оливера ![]() ![]() ![]() ![]() | Text book | Mp. category will be shown later |
2022 | Soft Outer Measure and Soft Premeasure | Stojanović, Nenad ![]() ![]() ![]() ![]() | Article | 21M21 |
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 | Suppes–style natural deduction system for classical logic | Boričić, Marija B. ![]() ![]() | Conference Paper | 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 |
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 | 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 | Sistemi zaključivanja sa visokim verovatnoćama | Boričić, Marija ![]() ![]() | Conference Paper | Mp. category will be shown later |
2017 | Deduction rules for probabilized formulae | Boričić, Marija B. ![]() ![]() | 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+ |
2016 | Soundness and completeness of a sequent calculus with high probabilities | Boričić, Marija ![]() ![]() | 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 |