ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "automatické uvažovaní"
automatické uvažovaní
Publikace
Předměty
Osoby
Publikace
Studium
publication
Pokrok v efektivním automatickém uvažovaní se znalostmi o světě
2010 |
Matematicko-fyzikální fakulta
publication
Automatické dokazování pro Mizar: umělá inteligence pomocí výměny znalostí
Publikace bez příslušnosti k fakultě
