ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "THEORY"
THEORY
Předmět
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Interactive theorem proving seminar
Předmět na Filozofická fakulta
|
ALGV00123
1 osoba
2 studijní programy
Osoba
person
doc. Mgr. Radek Honzík Ph.D.
Filozofická fakulta, Matematicko-fyzikální fakulta
Studijní program
programme
Logika
+1
🇨🇿 Bc. |
Filozofická fakulta
