ℹ️
🇬🇧
Search
Search for people relevant for "Proving"
Proving
Person
Class
Person
Publication
Programmes
Export current view
Petr Štěpánek
Person without affiliation with CUNI
3 publications
Publications
publication
Experiments with Machine Learning in Automatic Theorem Proving
1999 |
Publication without faculty affiliation
publication
Workshop on Knowledge Management in Formalized Mathematics
Publication without faculty affiliation
publication
Schema-Based Transformations of Logic Programs in lambdaProlog
2002 |
Publication without faculty affiliation
Loading network view...
