Original title:
Systémy automatického dokazování
Translated title:
Systems for automated theorem proving
Authors:
Repický, Jakub ; Šišma, Vladimír (referee) ; Stanovský, David (advisor) Document type: Bachelor's theses
Year:
2009
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/26844