host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
>
Vysokoškolské kvalifikační práce
>
Bakalářské práce
> GUI pro dokazovací systémy
Informace
Soubory
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
Záznam vytvořen dne 2017-04-25, naposledy upraven 2022-03-03.
Podobné záznamy
Není přiložen dokument
Exportovat ve formátu
DC
,
NUŠL
,
RIS
Sdílet