Mandic, Blanka (2023) A rezolúciós eljárás és bonyolultsága és bonyolultsága a nulladrendű logikában. BA/Bsc thesis, Szegedi Tudományegyetem.
![[thumbnail of 2023_mandic_blanka.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/text.png "2023_mandic_blanka.pdf")
Text2023_mandic_blanka.pdf - Thesis
Restricted to SZTE designated computers only
Download (508kB)
| Item Type: | Thesis (BA/Bsc) |
|---|---|
| English title: | The resolution method and its complexity in zeroth order logic |
| Institution: | Szegedi Tudományegyetem |
| ['eprint_fieldname_faculty' not defined]: | Faculty of Science and Informatics |
| Department: | Geometria Tanszék |
| ['eprint_fieldname_specialization' not defined]: | matematika |
| Discipline: | Natural Sciences |
| Supervisor(s): | Supervisor Supervisor scientific name label Email EHA Vigh, Viktor UNSPECIFIED UNSPECIFIED UNSPECIFIED Iván, Szabolcs egyetemi docens UNSPECIFIED UNSPECIFIED |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.01. Mathematics |
| Depositing User: | TTIK szerkesztő |
| Date Deposited: | 2024. May. 21. 15:46 |
| Last Modified: | 2025. Jan. 07. 15:38 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/141113 |
Actions (login required)
- View Item
