ℹ️
🇬🇧
Search
Search for people relevant for "Multi-agent"
Multi-agent
Person
Class
Person
Publication
Programmes
Petr Štěpánek
Person without affiliation with CUNI
3 publications
Publications
publication
Schema-Based Transformations of Logic Programs in lambdaProlog
2002 |
Publication without faculty affiliation
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
Loading network view...
