Original title:
GUI pro dokazovací systémy
Translated title:
GUI for automated reasoning systems
Authors:
Drbohlav, Michal ; Stanovský, David (advisor) ; Toman, Kamil (referee) Document type: Bachelor's theses
Year:
2007
Language:
cze
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/10403