ℹ️
🇬🇧
Search
Search for classes relevant for "Proving"
Proving
Class
Class
Person
Publication
Programmes
Export current view
Interactive theorem proving seminar
Class at Faculty of Arts
|
ALGV00123
1 person
2 study programmes
Person
person
doc. Mgr. Radek Honzík Ph.D.
Faculty of Arts, Faculty of Mathematics and Physics
Study programme
programme
Logic
+1
🇨🇿 Bc. |
Faculty of Arts
