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