Prezentace automaticky generovaných důkazů

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

View/Open

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)

Permanent link

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

Identifiers

Study Information System: 78437

Collections

• Kvalifikační práce [11217]

Author

Ševčíková, Renáta

Advisor

Stanovský, David

Referee

Růžička, Pavel

Faculty / Institute

Faculty of Mathematics and Physics

Discipline

General Mathematics

Department

Department of Algebra

Date of defense

9. 9. 2010

Publisher

Univerzita Karlova, Matematicko-fyzikální fakulta

Language

Slovak

Grade

Good

Citace dokumentu