ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "P-type"
P-type
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Ondřej Kunčar
Externí akademický pracovník na Matematicko-fyzikáln í fakulta
1 publikace
Publikace
publication
Rekonstrukce typového systému Mizaru v systému HOL Light
2010 |
Matematicko-fyzikální fakulta
Loading network view...
