ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "automated theorem proving"
automated theorem proving
Osoba
Předměty
Osoby
Publikace
Studium
person
Mgr. Josef Urban Ph.D.
Matematicko-fyzikální fakulta
person
Mgr. Karel Chvalovský Ph.D.
Filozofická fakulta
person
Mgr. Ing. Pavel Vanoušek Ph.D.
Matematicko-fyzikální fakulta
person
doc. RNDr. David Stanovský Ph.D.
Matematicko-fyzikální fakulta
person
RNDr. Martin Suda Ph.D.
Matematicko-fyzikální fakulta
person
Mgr. Mikoláš Janota Ph.D.
Matematicko-fyzikální fakulta
person
prof. RNDr. Jan Krajíček DrSc.
Matematicko-fyzikální fakulta
person
Mgr. Ing. Jiří Hudeček Ph.D.
Filozofická fakulta
Loading network view...