Истраживачи
Janičić, Predrag
Резултати 1-20 од 23
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2009 | Geometry Constructions Language![]() | Janičić, Predrag | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2009 | Matematička logika u računarstvu![]() | Janičić, Predrag | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2009 | Instance-Based Selection of Policies for SAT Solvers![]() | Nikolić, Mladen | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs![]() | Quaresma, Pedro; Janicic, Predrag | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2007 | Automatic verification of regular constructions in dynamic geometry systems![]() | Janicic, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | A variant of N-gram based language classification![]() | Tomović, A.; Janičić, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | Random kappa-GD-SAT model and its phase transition![]() | Vujošević-Janičić, Milena M | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | GeoThms - a Web System for Euclidean Constructive Geometry![]() | Quaresma, P.; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic![]() | Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | Simple characterization of functionally complete one-element sets of propositional connectives![]() | Maksimović, Petar; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | GCLC - A tool for constructive euclidean geometry and more than that![]() | Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | System description: GCLCprover plus GeoThms![]() | Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | Integrating dynamic geometry software, deduction systems, and theorem repositories![]() | Quaresma, Pedro; Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | n-Gram-based classification and unsupervised hierarchical clustering of genome sequences![]() | Tomovic, Andrija; Janicic, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2005 | Logical analysis of hash functions![]() | Jovanovic, Dejan; Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2004 | ARGO-LIB: A generic platform for decision procedures![]() | Maric, Filip M | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2004 | Constructions, instructions, interactions![]() | Djorić, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2003 | Learning strategies for mechanised building of decision procedures![]() | Jamnik, M.; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2003 | WINGCLC - A workbench for formally describing figures![]() | Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2002 | A General Setting for Flexibly Combining and Augmenting Decision Procedures![]() | Janicic, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
