ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "Decision Procedure"
Decision Procedure
Předmět
Předměty
Osoby
Publikace
Studium
class
Rozhodovací procedury a verifikace
NAIX094 |
Matematicko-fyzikální fakulta
class
Rozhodovací procedury a SAT/SMT řešiče
NAIL094 |
Matematicko-fyzikální fakulta
