Vyžádat soubor
Reference/citace: PUDLÁK, Pavel. Twelve Problems in Proof Complexity. In: HIRSCH, E., RAZBOROV, A.A., SEMENOV, A., SLISSENKO, A., eds. Computer Science - Theory and Applications. Berlin: Springer, 2008, s. 11-27. ISBN 978-3-540-79708-1.
Vyžádané dokumenty: Pudlak2.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.