Janičić, Predrag

Тип

Година

59 2000 - 2027
1 1900 - 1999

Мп-кат.

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

Година од:

Година до:

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

претходна
1
2
3
следећа

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2025	Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols	Janičić, Predrag	Научни чланак	23M23 - Међународни часопис категорије M23
2023	Automated generation of illustrated proofs in geometry and beyond	Janicic, Predrag ; Narboux, Julien	Научни чланак	22M22 - Међународни часопис категорије M22
2023	Formalization of geometry, automated and interactive geometric reasoning	Kovacs, Zoltan; 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	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2022	Programiranje 2 - osnove programiranja kroz programski jezik C	Janičić, Predrag ; Marić, Filip	Уџбеник	Мп категорија ће бити приказана накнадно.
2022	Theorem Proving as Constraint Solving with Coherent Logic	Janicic, Predrag ; Narboux, Julien	Научни чланак	22M22 - Међународни часопис категорије M22
2021	Automated Generation of Illustrations for Synthetic Geometry Proofs	Janičić, Predrag ; Julien Narboux	Научни чланак	Мп категорија ће бити приказана накнадно.
2021	Veštačka inteligencija	Janičić, Predrag ; Nikolić, Mladen	Уџбеник	Мп категорија ће бити приказана накнадно.
2020	New dynamics in dynamic geometry: Dragging constructed points	Selaković, Milica; Marinković, Vesna ; Janičić, Predrag	Научни чланак	22M22 - Међународни часопис категорије M22
2019	Portfolio theorem proving and prover runtime prediction for geometry	Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag	Научни чланак	22M22 - Међународни часопис категорије M22
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	Wernick's List: A Final Update	Janičić, Predrag ; Marinković Pavlović, Vesna ; Pascal Schreck; Pascal Mathis	Научни чланак	Мп категорија ће бити приказана накнадно.
2016	Geometrisation of Geometry	Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	Portfolio Methods in Theorem Proving for Elementary Geometry	Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	Constructibility Classes for Triangle Location Problems	Schreck, Pascal; Marinković, Vesna ; 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
2015	Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3	Marić, Filip ; Janičić, Predrag ; Maliković, Marko	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2015	Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems	Marinković, Vesna ; Janičić, Predrag ; Schreck, Pascal	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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

претходна
1
2
3
следећа