ℹ️
🇬🇧
Search
Search for publications relevant for "Proving"
Proving
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
