ℹ️
🇬🇧
Search
Search for publications relevant for "machine-learning"
machine-learning
Publication
Class
Person
Publication
Programmes
Export current view
Experimenting with Machine Learning in Automated Theorem Proving
Publication at Faculty of Mathematics and Physics
|
1999
2 people
People
person
Mgr. Josef Urban Ph.D.
Faculty of Mathematics and Physics
person
prof. Prof. RNDr. Petr Štěpánek DrSc.
Person without faculty affiliation