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
(Универзитет у Београду, Електротехнички факултет, 24-05-2019)