Mandic, Blanka (2023) A rezolúciós eljárás és bonyolultsága és bonyolultsága a nulladrendű logikában. BA/Bsc, Szegedi Tudományegyetem.
Váci, Izabella Hilda (2022) Komplex számok és vektorok alkalmazásai a síkban. Masters, Szegedi Tudományegyetem.
