| dc.contributor.advisor | Čepek, Ondřej | |
| dc.creator | Glišić, Jelena | |
| dc.date.accessioned | 2024-11-29T15:30:20Z | |
| dc.date.available | 2024-11-29T15:30:20Z | |
| dc.date.issued | 2024 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/193531 | |
| dc.language | English | cs_CZ |
| dc.language.iso | en_US | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.subject | Boolean functions|Knowledge representation languages|Knowledge compilation | en_US |
| dc.subject | Booleovské funkce|Jazyky pro reprezentaci znalostí|Kompilace znalostí | cs_CZ |
| dc.title | Non-standard representations of Boolean functions for knowledge compilation | en_US |
| dc.type | diplomová práce | cs_CZ |
| dcterms.created | 2024 | |
| dcterms.dateAccepted | 2024-09-10 | |
| dc.description.department | Department of Theoretical Computer Science and Mathematical Logic | en_US |
| dc.description.department | Katedra teoretické informatiky a matematické logiky | cs_CZ |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.identifier.repId | 265628 | |
| dc.title.translated | Nestandardní reprezentace Booleovských funkcí pro kompilaci znalostí | cs_CZ |
| dc.contributor.referee | Kučera, Petr | |
| thesis.degree.name | Mgr. | |
| thesis.degree.level | navazující magisterské | cs_CZ |
| thesis.degree.discipline | Computer Science - Theoretical Computer Science | en_US |
| thesis.degree.discipline | Computer Science - Theoretical Computer Science | cs_CZ |
| thesis.degree.program | Computer Science - Theoretical Computer Science | en_US |
| thesis.degree.program | Computer Science - Theoretical Computer Science | cs_CZ |
| uk.thesis.type | diplomová práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra teoretické informatiky a matematické logiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Theoretical Computer Science and Mathematical Logic | en_US |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Computer Science - Theoretical Computer Science | cs_CZ |
| uk.degree-discipline.en | Computer Science - Theoretical Computer Science | en_US |
| uk.degree-program.cs | Computer Science - Theoretical Computer Science | cs_CZ |
| uk.degree-program.en | Computer Science - Theoretical Computer Science | en_US |
| thesis.grade.cs | Výborně | cs_CZ |
| thesis.grade.en | Excellent | en_US |
| uk.file-availability | V | |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra teoretické informatiky a matematické logiky | cs_CZ |
| thesis.grade.code | 1 | |
| uk.publication-place | Praha | cs_CZ |
| uk.thesis.defenceStatus | O | |
