Basket

    1.
    0345652 - MÚ 2011 RIV US eng J - Journal Article
    Pudlák, Pavel
    Gödel and computations: a 100th anniversary retrospective.
    ACM SIGACT News. Roč. 37, č. 4 (2006), s. 13-21. ISSN 0163-5700
    Institutional research plan: CEZ:AV0Z10190503
    Keywords : computability * lengths of proofs * computational complexity
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0186867
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all