Přejít k obsahu


Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití

Citace: [] HONZÍK, L. Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití. In Information and Communication Technology in Education. Ostrava: University of Ostrava, 2009. s. 67-83. ISBN: 978-80-7368-460-0
Druh: STAŤ VE SBORNÍKU
Jazyk publikace: cze
Rok vydání: 2009
Místo konání: Ostrava
Název zdroje: University of Ostrava
Autoři: Mgr. Lukáš Honzík
Klíčová slova

Zpět

Patička