ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "machine-learning"
machine-learning
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Experimenting with Machine Learning in Automated Theorem Proving
Publikace na Matematicko-fyzikální fakulta
|
1999
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ě