Název: Polynominální neúplnost
Překlad názvu: Feasible incompleteness
Autoři: Maxa, Martin ; Pudlák, Pavel (vedoucí práce) ; Hrubeš, Pavel (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2019
Jazyk: eng
Klíčová slova: computational complexity|proof complexity|incompleteness; computational complexity|proof complexity|incompleteness

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/107738

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-398210


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce