Browse by mentor
Now showing items 1-1 of 1
-
Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti / System for automatic proving of some classes of analytic inequalities
(University of Belgrade, School of Electrical Engineering, 24-05-2019)