Poprzednia strona
Rekrutacja 2022/23
A. Grabowski
On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP
11th International Symposium Fundamentals of Computation Theory, Kraków, Poland, Sep 1-3, 1997
