| dc.contributor.advisor | Stanovský, David | |
| dc.creator | Ševčíková, Renáta | |
| dc.date.accessioned | 2017-04-27T18:45:32Z | |
| dc.date.available | 2017-04-27T18:45:32Z | |
| dc.date.issued | 2010 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/37710 | |
| dc.language | Slovenčina | cs_CZ |
| dc.language.iso | sk_SK | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.title | Prezentace automaticky generovaných důkazů | sk_SK |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2010 | |
| dcterms.dateAccepted | 2010-09-09 | |
| dc.description.department | Department of Algebra | en_US |
| dc.description.department | Katedra algebry | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.identifier.repId | 78437 | |
| dc.title.translated | Presenting automatically generated proofs | en_US |
| dc.title.translated | Prezentace automaticky generovaných důkazů | cs_CZ |
| dc.contributor.referee | Růžička, Pavel | |
| dc.identifier.aleph | 001393838 | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | General Mathematics | en_US |
| thesis.degree.discipline | Obecná matematika | cs_CZ |
| thesis.degree.program | Mathematics | en_US |
| thesis.degree.program | Matematika | cs_CZ |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra algebry | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Algebra | 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 | Obecná matematika | cs_CZ |
| uk.degree-discipline.en | General Mathematics | en_US |
| uk.degree-program.cs | Matematika | cs_CZ |
| uk.degree-program.en | Mathematics | en_US |
| thesis.grade.cs | Dobře | cs_CZ |
| thesis.grade.en | Good | en_US |
| uk.file-availability | V | |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra algebry | cs_CZ |
| dc.identifier.lisID | 990013938380106986 | |
