( en | de | ru )

 

Disambiguation of "Janicic, Predrag"

Author of the publication

copydeleteadd this publication to your clipboard
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.

, , and . Ann. Math. Artif. Intell., 74 (3-4): 249-269 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Predrag Maksimovic

Predrag Ili

Predrag Gruji

Predrag Vlaji

Predrag Martinovich

 

Other publications of authors with the same name

On Different Models for Generating Random SAT Problems., , and . Comput. Artif. Intell., 20 (5): 451-469 (2001)Formalization of geometry, automated and interactive geometric reasoning., and . Ann. Math. Artif. Intell., 91 (6): 751-752 (December 2023)GD-SAT model and crossover line.. J. Exp. Theor. Artif. Intell., 13 (3): 181-198 (2001)GeoThms -- a Web System for Euclidean Constructive Geometry, and . Electronic Notes in Theoretical Computer Science, 174 (2): 35--48 (May 2007)Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3., , and . CADE, volume 9195 of Lecture Notes in Computer Science, page 256-271. Springer, (2015)Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic., and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 80-93. Springer, (2007)Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture., , and . CoRR, (2018)URBiVA: Uniform Reduction to Bit-Vector Arithmetic., and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 346-352. Springer, (2010)Automatic Verification of Regular Constructions in Dynamic Geometry Systems., and . Automated Deduction in Geometry, volume 4869 of Lecture Notes in Computer Science, page 39-51. Springer, (2006)A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs., , and . Automated Deduction in Geometry, volume 6877 of Lecture Notes in Computer Science, page 201-220. Springer, (2010)