Marinković, Vesna

Network Lab View Statistics Email Alert RSS Feed

Full Name

Marinković, Vesna

Main Affiliation

Informatics and Computer Science

ORCID

https://orcid.org/0000−0003−0526−899X

Scopus Author ID

55334842000

Loading... 2 0 20 0 false

Loading... 3 0 20 0 false

checked on Nov 6, 2025

checked on Nov 6, 2025

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

	Issue Date	Title	Author(s)	Rank
1	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