Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. UM [Internet]. 2017 Jun. 20 [cited 2026 Sep. 11];23(2):91-104. Available from: https://test.scied.cz/ucitel/article/view/937