Janičić, Predrag

Tip

Godina

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 1-20 od 60 Rezultati/stranica

prethodna
1
2
3
sledeća

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2025	Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols	Janičić, Predrag	Naučni članak	23M23 - Međunarodni časopis kategorije M23
2023	Automated generation of illustrated proofs in geometry and beyond	Janicic, Predrag ; Narboux, Julien	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2023	Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving	Gonzalez, Salwa Tabet; Janicic, Predrag ; Narboux, Julien	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2023	Formalization of geometry, automated and interactive geometric reasoning	Kovacs, Zoltan; Janicic, Predrag	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2022	Programiranje 2 - osnove programiranja kroz programski jezik C	Janičić, Predrag ; Marić, Filip	Udžbenik	Mp kategorija će biti prikazana naknadno.
2022	Theorem Proving as Constraint Solving with Coherent Logic	Janicic, Predrag ; Narboux, Julien	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2021	Veštačka inteligencija	Janičić, Predrag ; Nikolić, Mladen	Udžbenik	Mp kategorija će biti prikazana naknadno.
2021	Automated Generation of Illustrations for Synthetic Geometry Proofs	Janičić, Predrag ; Julien Narboux	Naučni članak	Mp kategorija će biti prikazana naknadno.
2020	New dynamics in dynamic geometry: Dragging constructed points	Selaković, Milica; Marinković, Vesna ; Janičić, Predrag	Naučni članak	22M22 - Međunarodni časopis kategorije 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	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2019	Portfolio theorem proving and prover runtime prediction for geometry	Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2018	Computer-Assisted Theorem Proving in Synthetic Geometry	Julien Narboux; Janičić, Predrag Đ. ; Jacques Fleuriot	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2016	Wernick's List: A Final Update	Janičić, Predrag ; Marinković Pavlović, Vesna ; Pascal Schreck; Pascal Mathis	Naučni članak	Mp kategorija će biti prikazana naknadno.
2016	Geometrisation of Geometry	Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Constructibility Classes for Triangle Location Problems	Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag	Naučni članak	Mp kategorija će biti prikazana naknadno.
2016	Portfolio Methods in Theorem Proving for Elementary Geometry	Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
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	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2015	Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3	Marić, Filip ; Janičić, Predrag ; Maliković, Marko	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
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	Naučni članak	22M22 - Međunarodni časopis kategorije M22
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.

prethodna
1
2
3
sledeća