ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "automated theorem proving"
automated theorem proving
Předmět
Předměty
Osoby
Publikace
Studium
class
Důkazová složitost a P vs. NP problém
NMAG536 |
Matematicko-fyzikální fakulta
class
Výpočetní logika
NMAG535 |
Matematicko-fyzikální fakulta
class
Logika v informatice
NMAI067 |
Matematicko-fyzikální fakulta
