Název: GUI pro dokazovací systémy
Překlad názvu: GUI for automated reasoning systems
Autoři: Drbohlav, Michal ; Toman, Kamil (oponent) ; Stanovský, David (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2007
Jazyk: cze

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/10403

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-276822


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce