A rezolúciós eljárás és bonyolultsága és bonyolultsága a nulladrendű logikában

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.

PDF
2023_mandic_blanka.pdf
Hozzáférés joga: SZTE designated computers only
Download (508kB)

English title

The resolution method and its complexity in zeroth order logic

Szegedi Tudományegyetem

Supervisor

Supervisor scientific name label

EHA

Vigh, Viktor

UNSPECIFIED

Iván, Szabolcs

egyetemi docens

UNSPECIFIED

Item Type:	Thesis (BA/Bsc)
Subjects:	01. Natural sciences 01. Natural sciences > 01.01. Mathematics
Depositing User:	TTIK szerkesztő
Date Deposited:	2024. May. 21. 15:46
Last Modified:	2024. May. 21. 15:46
URI:	https://diploma.bibl.u-szeged.hu/id/eprint/141113

View Item