ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Isabelle/HOL"
Isabelle/HOL
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
person
doc. Mgr. Štěpán Holub Ph.D.
Matematicko-fyzikální fakulta, Katolická teologická fakulta
person
Bc. Martin Raška
Matematicko-fyzikální fakulta
