Истраживачи

Филтрирано по:
Година:  [2000 TO 2009]

Резултати 1-20 од 23
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2009Geometry Constructions LanguageJaničić, Predrag  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2009Matematička logika u računarstvuJaničić, Predrag  Уџбеник
Мп категорија ће бити приказана накнадно.
2009Instance-Based Selection of Policies for SAT SolversNikolić, Mladen  ; Marić, Filip M  ; Janičić, Predrag  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2008XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical ProofsQuaresma, Pedro; Janicic, Predrag  ; Graovac, Jelena  ; Vujoševic-Janicic, Milena  ; Tošic, DušanПоглавље у монографији
Мп категорија ће бити приказана накнадно.
2007Automatic verification of regular constructions in dynamic geometry systemsJanicic, Predrag  ; Quaresma, PedroКонференцијски рад
Мп категорија ће бити приказана накнадно.
2007A variant of N-gram based language classificationTomović, A.; Janičić, Predrag  Научни чланак
23M23 - Међународни часопис категорије M23
2007Random kappa-GD-SAT model and its phase transitionVujošević-Janičić, Milena M  ; Tomašević, Jelena  ; Janičić, Predrag  Научни чланак
23M23 - Међународни часопис категорије M23
2007GeoThms - a Web System for Euclidean Constructive GeometryQuaresma, P.; Janičić, Predrag  Научни чланак
Мп категорија ће бити приказана накнадно.
2007Automatic synthesis of decision procedures: A case study of ground and linear arithmeticJanicic, Predrag  ; Bundy, AlanНаучни чланак
23M23 - Међународни часопис категорије M23
2006Simple characterization of functionally complete one-element sets of propositional connectivesMaksimović, Petar; Janičić, Predrag  Научни чланак
22M22 - Међународни часопис категорије M22
2006GCLC - A tool for constructive euclidean geometry and more than thatJanicic, Predrag  Научни чланак
23M23 - Међународни часопис категорије M23
2006System description: GCLCprover plus GeoThmsJanicic, Predrag  ; Quaresma, PedroНаучни чланак
23M23 - Међународни часопис категорије M23
2006Integrating dynamic geometry software, deduction systems, and theorem repositoriesQuaresma, Pedro; Janicic, Predrag  Научни чланак
23M23 - Међународни часопис категорије M23
2006n-Gram-based classification and unsupervised hierarchical clustering of genome sequencesTomovic, Andrija; Janicic, Predrag  ; Keselj, VНаучни чланак
22M22 - Међународни часопис категорије M22
2005Logical analysis of hash functionsJovanovic, Dejan; Janicic, Predrag  Научни чланак
23M23 - Међународни часопис категорије M23
2004ARGO-LIB: A generic platform for decision proceduresMaric, Filip M  ; Janicic, Predrag  Научни чланак
22M22 - Међународни часопис категорије M22
2004Constructions, instructions, interactionsDjorić, Mirjana  ; Janičić, Predrag  Научни чланак
Мп категорија ће бити приказана накнадно.
2003Learning strategies for mechanised building of decision proceduresJamnik, M.; Janičić, Predrag  Научни чланак
Мп категорија ће бити приказана накнадно.
2003WINGCLC - A workbench for formally describing figuresJaničić, Predrag  ; Trajković, IvanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2002A General Setting for Flexibly Combining and Augmenting Decision ProceduresJanicic, Predrag  ; Bundy, AlanНаучни чланак
22M22 - Међународни часопис категорије M22