Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. UM. 2017;23(2):91-104. Accessed September 11, 2026. https://test.scied.cz/ucitel/article/view/937