ℹ️
🇬🇧
Search
Search for publications relevant for "Automation"
Automation
Publication
Class
Person
Publication
Programmes
Experimenting with Machine Learning in Automated Theorem Proving
Publication
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
