Prezentace automaticky generovaných důkazů
Presenting automatically generated proofs
Prezentace automaticky generovaných důkazů
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/37710Identifiers
Study Information System: 78437
Collections
- Kvalifikační práce [11233]
Author
Advisor
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í fakultaLanguage
Slovak
Grade
Good