Login / Signup

Sana Stojanovic-Durdevic

ORCID

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Theorem Prover
Problems Involving
Practical Solutions
Mathematical Tools

Top Venues

ThEdu@IJCAR
Publications