ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Machines"
Machines
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Experimenting with Machine Learning in Automated Theorem Proving
Publikace
2 osoby
Osoby
person
Mgr. Josef Urban Ph.D.
Matematicko-fyzikální fakulta
person
prof. Prof. RNDr. Petr Štěpánek DrSc.
Osoba bez příslušnosti k fakultě