Stojanović-Djurdjević. Sana

Network Lab View Statistics Email Alert RSS Feed

Full Name

Variants

Stojanovic-Djurdjevic Sana
Sana Stojanovic-Đurđević
Stojanović-Djurdjević. Sana

sana.stojanovic.djurdjevic@matf.bg.ac.rs

ORCID

https://orcid.org/0000-0002-5386-9100

Scopus Author ID

54401813300

Loading... 2 0 20 0 false

Loading... 3 0 20 0 false

checked on Aug 6, 2025

checked on Aug 6, 2025

Results 1-2 of 2 (Search time: 0.001 seconds).

	Issue Date	Title	Author(s)	Rank
1	1-Jan-2014	A vernacular for coherent logic	Stojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag	M33
2	25-Nov-2011	A coherent logic based geometry theorem prover capable of producing formal and readable proofs	Stojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag	M33