ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "theorem"
theorem
Publikace
Předměty
Osoby
Publikace
Studium
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ě