Prohlížení Bakalářské práce - 18101 dle autora "Navara Jan"
-
Zjednodušení matematických výrazů generovaných induktivními modely
Autor: Navara Jan; Vedoucí práce: Kordík Pavel; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)