ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Isabelle/HOL."
Isabelle/HOL.
Osoba
Předměty
Osoby
Publikace
Studium
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
Loading network view...
