ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "intervize"
intervize
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
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
Rozpoznávání intervalových booleovských funkcí
2008 |
Matematicko-fyzikální fakulta
publication
Přejmenovatelné intervalové booleovské funkce
2008 |
Matematicko-fyzikální fakulta
publication
Skrytě intervalová rozšíření částečně definovaných booleovských funkcí
2007 |
Matematicko-fyzikální fakulta
publication
Nejlépe padnoucí intervalová rozšíření částečně definovaných Booleovských funkcí
2007 |
Matematicko-fyzikální fakulta
publication
Rozpoznávání Intervalových Booleovských Funkcí
2006 |
Matematicko-fyzikální fakulta
publication
Intervalová rozšíření částečně definovaných booleovských funkcí
2006 |
Matematicko-fyzikální fakulta
publication
Přejmenovatelné Intervalové Booleovské Funkce
2006 |
Matematicko-fyzikální fakulta
publication
APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*
2022 |
Matematicko-fyzikální fakulta
publication
Unique key Horn functions
2022 |
Matematicko-fyzikální fakulta
publication
Learning a Propagation Complete Formula
2022 |
Matematicko-fyzikální fakulta
Načíst další publikace (36)
Loading network view...