Original title:
Prezentace automaticky generovaných důkazů
Translated title:
Presenting automatically generated proofs
Authors:
Ševčíková, Renáta ; Stanovský, David (advisor) ; Růžička, Pavel (referee) Document type: Bachelor's theses
Year:
2010
Language:
slo
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/37710