еНаука - преглед
Преглед према Аутор Janičić, Predrag
Приказ резултата 1 до 20 од 71
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs | Stojanović Đurđević, Sana   ; Marinković, Vesna ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | A framework for the flexible integration of a class of decision procedures into theorem provers | Janičić, Predrag ; Bundy, A.; Green, I. | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2002 | A General Setting for Flexibly Combining and Augmenting Decision Procedures | Janicic, Predrag ; Bundy, Alan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2007 | A variant of N-gram based language classification | Tomović, A.; Janičić, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2014 | A Vernacular for Coherent Logic | Stojanović Đurđević, Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | ARGO-LIB: A generic platform for decision procedures | Maric, Filip M ; Janicic, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2023 | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving | Gonzalez, Salwa Tabet; Janicic, Predrag ; Narboux, Julien | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Automated generation of illustrated proofs in geometry and beyond | Janicic, Predrag ; Narboux, Julien | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2021 | Automated Generation of Illustrations for Synthetic Geometry Proofs | Janičić, Predrag ; Julien Narboux | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry | Ðurđević, Sana Stojanović ; Narboux, Julien; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2011 | Automated Reasoning: Some Successes and New Challenges | Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Automated Theorem Proving in GeoGebra: Current Achievements | Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2007 | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic | Janicic, Predrag ; Bundy, Alan | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | Automatic verification of regular constructions in dynamic geometry systems | Janicic, Predrag ; Quaresma, Pedro | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Аутоматско решавање конструктивних проблема у геометрији | Marinković, Vesna | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2012 | CDCL-Based Abstract State Transition System for Coherent Logic | Nikolić, Mladen ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems | Marinković, Vesna ; Janičić, Predrag ; Schreck, Pascal | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture | Janičić, Predrag Đ. ; Marić, Filip M. ; Maliković, Marko | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2018 | Computer-Assisted Theorem Proving in Synthetic Geometry | Julien Narboux; Janičić, Predrag Đ. ; Jacques Fleuriot | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2016 | Constructibility Classes for Triangle Location Problems | Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |