Počet záznamů: 1
Syntaktická kontrola konstrukcí v geometrii
Údaje o názvu Syntaktická kontrola konstrukcí v geometrii [rukopis] / Lukáš Zapletal Další variantní názvy Syntaktická kontrola konstrukcí v geometrii Osobní jméno Zapletal, Lukáš (autor diplomové práce nebo disertace) Překl.náz Syntactic verification of geometric constructions Vyd.údaje 2006 Fyz.popis CD ROM Poznámka Ved. práce Josef Drdla Dal.odpovědnost Drdla, Josef (vedoucí diplomové práce nebo disertace) Opichal, Stanislav (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova mongeho * geometrie * syntaktická kontrola * syntaktický systém * verification * derivation system * rules Forma, žánr diplomové práce master's theses MDT (043)378.2 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Mgr. Studijní program Magisterský Studijní program Informatika Studijní obor Informatika 
kniha
Navrhnout a vytvořit systém na syntaktickou kontrolu v geometrických disciplínách.
Počet záznamů: 1