ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "mathematical formalization"
mathematical formalization
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Daniel Průša Ph. D.
Osoba mimo UK
1 publikace
Publikace
publication
Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017
2017 |
Matematicko-fyzikální fakulta
Loading network view...