Number of the records: 1
Syntaktická kontrola konstrukcí v geometrii
Title statement Syntaktická kontrola konstrukcí v geometrii [rukopis] / Lukáš Zapletal Additional Variant Titles Syntaktická kontrola konstrukcí v geometrii Personal name Zapletal, Lukáš (dissertant) Translated title Syntactic verification of geometric constructions Issue data 2006 Phys.des. CD ROM Note Ved. práce Josef Drdla Another responsib. Drdla, Josef (thesis advisor) Opichal, Stanislav (opponent) Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor) Keywords mongeho * geometrie * syntaktická kontrola * syntaktický systém * verification * derivation system * rules Form, Genre diplomové práce master's theses UDC (043)378.2 Country Česko Language čeština Document kind PUBLIKAČNÍ ČINNOST Title Mgr. Degree program Magisterský Degree program Informatika Degreee discipline Informatika book
Number of the records: 1