ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Logika prvního řádu"
Logika prvního řádu
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...