Sana Stojanovic

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Deductive Reasoning

Computationally Expensive

Classical Logic

Top Venues

Automated Deduction in Geometry

Publications

Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
A Vernacular for Coherent Logic. CoRR (2014)
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
A Vernacular for Coherent Logic. CICM (2014)
Sana Stojanovic
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs. Automated Deduction in Geometry (2012)
Sana Stojanovic, Vesna Pavlovic, Predrag Janicic
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. Automated Deduction in Geometry (2010)