ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "buffer system"
buffer system
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Petr Kučera Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
3 předměty
46 publikací
Předměty
class
Rozhodovací procedury a SAT/SMT řešiče
NAIL094 |
Matematicko-fyzikální fakulta
class
Rozhodovací procedury a verifikace
NAIX094 |
Matematicko-fyzikální fakulta
class
Algoritmy pro reprezentaci znalostí
NTIN099 |
Matematicko-fyzikální fakulta
Publikace
publication
APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*
2022 |
Matematicko-fyzikální fakulta