Janičić, Predrag

Tip

Godina

60 2000 - 2027
1 1901 - 1999

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 21-40 od 61 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2015	Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems	Marinković, Vesna ; Janičić, Predrag ; Schreck, Pascal	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	A Vernacular for Coherent Logic	Stojanović Đurđević, Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
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ć;	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2013	Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving	Janičić, Predrag ; Marko Maliković	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2013	Simple algorithm portfolio for SAT	Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2012	URSA: A System for Uniform Reduction to SAT	Janičić, Predrag	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2012	The Area Method: A Recapitulation	Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2012	Towards Understanding Triangle Construction Problems	Marinković, Vesna ; Janičić, Predrag	Naučni članak	Mp kategorija će biti prikazana naknadno.
2012	Formalization and Implementation of Algebraic Methods in Geometry	Marić, Filip ; Petrović, Ivan; Simić, Danijela ; Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2012	CDCL-Based Abstract State Transition System for Coherent Logic	Nikolić, Mladen ; Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2011	Automated Reasoning: Some Successes and New Challenges	Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2011	A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs	Stojanović Đurđević, Sana ; Marinković, Vesna ; Janičić, Predrag	Naučni članak	Mp kategorija će biti prikazana naknadno.
2011	Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference	Ben Goertzel; Nil Geisweiller; Lucio Coelho; Janičić, Predrag ; Cassio Pennachin	Monografija	Mp kategorija će biti prikazana naknadno.
2011	Formalization of Abstract State Transition Systems for SAT	Marić, Filip ; Janičić, Predrag	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2010	URBiVA: Uniform Reduction to Bit-Vector Arithmetic	Marić, Filip ; Janičić, Predrag	Naučni članak	Mp kategorija će biti prikazana naknadno.
2010	Geometry Tools GCLC and WinGCLC	Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2010	Formal Correctness Proof for DPLL Procedure	Marić, Filip ; Janičić, Predrag	Naučni članak	21aM21a - Vodeći međunarodni časopis kategorije M21a
2010	Geometry Constructions Language	Janičić, Predrag	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2009	Matematička logika u računarstvu	Janičić, Predrag	Udžbenik	Mp kategorija će biti prikazana naknadno.
2009	Instance-Based Selection of Policies for SAT Solvers	Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.