Počet záznamů: 1
Twelve Problems in Proof Complexity
- 1.Pudlák, Pavel
Twelve Problems in Proof Complexity.
Computer Science - Theory and Applications. Berlin: Springer, 2008 - (Hirsch, E.; Razborov, A.; Semenov, A.; Slissenko, A.), s. 11-27. ISBN 978-3-540-79708-1.
[International Computer Science Symposium in Russia, CSR 2008/3./. Moskva (RU), 07.06.2008-12.06.2008]
http://hdl.handle.net/11104/0170258
Počet záznamů: 1