ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "PROOF"
PROOF
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
prof. RNDr. Pavel Pudlák DrSc.
Externí akademický pracovník na Matematicko-fyzikální fakulta
2 předměty
6 publikací
Předměty
class
Logika v informatice
NMAI067 |
Matematicko-fyzikální fakulta
class
Seminář z výpočetní složitosti
NTIN050 |
Matematicko-fyzikální fakulta
Publikace
publication
Kvantová dedukční pravidla
2009 |
Matematicko-fyzikální fakulta
publication
Dvanáct problémů o důkazové složitosti
+1
2008 |
Matematicko-fyzikální fakulta
publication
Bounded depth circuits: separating wires from gates
2005 |
Matematicko-fyzikální fakulta
publication
Obvody omezené hloubky: oddělování drátů od hradel
2005 |
Publikace bez příslušnosti k fakultě
publication
An upper bound for a communication game related tospace-time tradeoffs
1996 |
Matematicko-fyzikální fakulta, Ústřední knihovna
Loading network view...
