Marinković, Vesna
323  results:
Search for persons X
?
2

Prolog in Automated Reasoning in Geometry:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Marinković, Vesna - p. 334-345 , 2023
 
?
3

Automated triangle constructions in hyperbolic geometry:

Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip
Annals of Mathematics and Artificial Intelligence.  91 (2023)  6 - p. 821-849 , 2023
 
?
4

Effect of storage process on nutritive properties of preter..:

Lugonja, Nikoleta ; Marinkovic, Vesna ; Milicic, Biljana...
Chemical Industry and Chemical Engineering Quarterly.  29 (2023)  2 - p. 141-148 , 2023
 
?
 
?
7

Portfolio theorem proving and prover runtime prediction for..:

Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán.
Annals of Mathematics and Artificial Intelligence.  85 (2018)  2-4 - p. 119-146 , 2018
 
?
9

Redox properties of transitional milk from mothers of prete..:

Minić, Simeon ; Ješić, Miloš ; Đurović, Dijana...
Journal of Paediatrics and Child Health.  54 (2017)  2 - p. 160-164 , 2017
 
?
13

ArgoTriCS – automated triangle construction solver:

Marinković, Vesna
Journal of Experimental & Theoretical Artificial Intelligence.  29 (2016)  2 - p. 247-271 , 2016
 
?
14

Vom "OSCE Cluster of Competence" zum "Focus on the OSCE":

, In: OSZE-Jahrbuch / Hrsg. Institut für Friedensforschung und Sicherheitspolitik an der Universität Hamburg, IFSH
Copies:  Zentrale: z pol 748/578; Zentrale:Magazin Zs ff 1578
 
1-15