Janičić, Predrag

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 21-40 од 60 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2014	A Vernacular for Coherent Logic	Stojanović Đurđević, Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Simple algorithm portfolio for SAT	Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag	Научни чланак	22M22 - Међународни часопис категорије M22
2013	Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving	Janičić, Predrag ; Marko Maliković	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2013	History of Mathematical Logic in Serbia	Borisavljević, Mirjana ; Đorđe Vukomanović; Gilezan, Silvia ; Janičić, Predrag Đ. ; Krapež, Aleksandar ; Kurilić, Miloš S. ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran ; Pantović, Jovanka ; Petrić, Zoran ; Miomir Stanković; Stanković, Radomir ; Ivan Stojmenović;	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2012	Towards Understanding Triangle Construction Problems	Marinković, Vesna ; Janičić, Predrag	Научни чланак	Мп категорија ће бити приказана накнадно.
2012	URSA: A System for Uniform Reduction to SAT	Janičić, Predrag	Научни чланак	22M22 - Међународни часопис категорије M22
2012	Formalization and Implementation of Algebraic Methods in Geometry	Marić, Filip ; Petrović, Ivan; Simić, Danijela ; Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	CDCL-Based Abstract State Transition System for Coherent Logic	Nikolić, Mladen ; Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	The Area Method: A Recapitulation	Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2011	Automated Reasoning: Some Successes and New Challenges	Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Formalization of Abstract State Transition Systems for SAT	Marić, Filip ; Janičić, Predrag	Научни чланак	22M22 - Међународни часопис категорије M22
2011	A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs	Stojanović Đurđević, Sana ; Marinković, Vesna ; Janičić, Predrag	Научни чланак	Мп категорија ће бити приказана накнадно.
2011	Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference	Ben Goertzel; Nil Geisweiller; Lucio Coelho; Janičić, Predrag ; Cassio Pennachin	Монографија	Мп категорија ће бити приказана накнадно.
2010	Geometry Tools GCLC and WinGCLC	Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2010	URBiVA: Uniform Reduction to Bit-Vector Arithmetic	Marić, Filip ; Janičić, Predrag	Научни чланак	Мп категорија ће бити приказана накнадно.
2010	Formal Correctness Proof for DPLL Procedure	Marić, Filip ; Janičić, Predrag	Научни чланак	21aM21a - Водећи међународни часопис категорије M21a
2010	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 ; Marić, Filip M ; Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2008	XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs	Quaresma, Pedro; Janicic, Predrag ; Graovac, Jelena ; Vujoševic-Janicic, Milena ; Tošic, Dušan	Поглавље у монографији	Мп категорија ће бити приказана накнадно.