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í. Rožnov pod Radhoštěm, 2009., ISBN: 978-80-7368-460-0,
Druh: PŘEDNÁŠKA, POSTER
Jazyk publikace: cze
Rok vydání: 2009
Místo konání: Rožnov pod Radhoštěm
Autoři: Mgr. Lukáš Honzík
Klíčová slova

Zpět

Patička