Prohlížení dle Předmět George E. Collins
Zobrazují se výsledky 1 až 1 z 1
Datum vydání | Název | Autor |
---|---|---|
2013 | Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití | Honzík, Lukáš |
Datum vydání | Název | Autor |
---|---|---|
2013 | Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití | Honzík, Lukáš |