еНаука - преглед
Преглед према Аутор Lutovac, Tatjana
Приказ резултата 1 до 20 од 41
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2005 | A Redundancy Analysis of Sequent Proofs | T. Lutovac ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2013 | A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules | Lutovac, Tatjana ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2018 | A New Method for Proving Some Inequalities Related to Several Special Functions | Lutovac, Tatjana ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2018 | A proof of an open problem of Yusuke Nishizawa for a power-exponential function (✓) | Malešević, Branko ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2005 | A redundancy analysis of sequent proofs | Lutovac, Tatjana ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent Derivations | Lutovac, Tatjana ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2018 | About some exponential inequalities related to the sinc function | Rašajski, Marija ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2012 | An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus | Lutovac, Tatjana ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Contibutions to compact Representation of Sequent Proofs | Lutovac, Tatjana ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2023 | Convexity and double-sided Taylor's approximations (✓) | BAGUL, Yogesh; CHESNEAU, Christophe; KOSTİC, Marko ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2006 | Detecting Loops During Proof Search in Propositional Affine Logic | T. Lutovac ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2006 | Detecting loops during proof search in propositional affine logic | Lutovac, Tatjana ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Detection and analysis of some redundancies in linear logic sequent proofs | Lutovac, Tatjana ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2019 | Double–Sided Taylor’s Approximations and Their Applications in Theory of Analytic Inequalities | Malešević, Branko ![]() ![]() ![]() ![]() ![]() ![]() | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2020 | Error-Functions in Double-Sided Taylor’s Approximations (✓) | Malešević, Branko ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2018 | Extensions of the natural approach to refinements, and generalizations of some trigonometric inequalities | B. Malešević ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2018 | Fuzzy AHP approach to passenger aircraft type selection | Dožić, Slavica ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2000 | Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic | J. Harland; T. Lutovac ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2022 | Heuristika za automatsko sastavljanje paralelnih testova znanja | Ignjatović, Miroslava | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2015 | Jedan doprinos automatskom dokazivanju nekih klasa analitičkih nejednakosti | Lutovac, Tatjana ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |