Prezentace automaticky generovaných důkazů

Presenting automatically generated proofs
Prezentace automaticky generovaných důkazů

Zobrazit/otevřít

Text práce (318.7Kb)

Příloha práce (16.49Mb)

Posudek vedoucího (78.25Kb)

Posudek oponenta (65.98Kb)

Záznam o průběhu obhajoby (30.75Kb)

Trvalý odkaz

http://hdl.handle.net/20.500.11956/37710

Identifikátory

SIS: 78437

Kolekce

• Kvalifikační práce [11232]

Autor

Ševčíková, Renáta

Vedoucí práce

Stanovský, David

Oponent práce

Růžička, Pavel

Fakulta / součást

Matematicko-fyzikální fakulta

Obor

Obecná matematika

Katedra / ústav / klinika

Katedra algebry

Datum obhajoby

9. 9. 2010

Nakladatel

Univerzita Karlova, Matematicko-fyzikální fakulta

Jazyk

Slovenština

Známka

Dobře

Citace dokumentu