( en | de | ru )

 

Disambiguierung von "Janicic, Predrag"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constructibility Classes for Triangle Location Problems.

, , und . Math. Comput. Sci., 10 (1): 27-39 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Predrag Maksimovic

Predrag Ili

Predrag Gruji

Predrag Vlaji

Predrag Martinovich

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3., , und . CADE, Volume 9195 von Lecture Notes in Computer Science, Seite 256-271. Springer, (2015)Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic., und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 80-93. Springer, (2007)Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture., , und . CoRR, (2018)URBiVA: Uniform Reduction to Bit-Vector Arithmetic., und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 346-352. Springer, (2010)Automatic Verification of Regular Constructions in Dynamic Geometry Systems., und . Automated Deduction in Geometry, Volume 4869 von Lecture Notes in Computer Science, Seite 39-51. Springer, (2006)New dynamics in dynamic geometry: Dragging constructed points., , und . J. Symb. Comput., (2020)A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs., , und . Automated Deduction in Geometry, Volume 6877 von Lecture Notes in Computer Science, Seite 201-220. Springer, (2010)A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers., , und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 127-141. Springer, (1999)System Description: GCLCprover + GeoThms., und . IJCAR, Volume 4130 von Lecture Notes in Computer Science, Seite 145-150. Springer, (2006)Formal Correctness Proof for DPLL Procedure., und . Informatica, 21 (1): 57-78 (2010)