Košík

  1. 1.
    0174516 - MU-W 980024 RIV US eng M - Část monografie knihy
    Pudlák, Pavel - Sgall, Jiří
    Algebraic models of computation and interpolation for algebraic proof systems.
    Proof Complexity and Feasible Arithmetic. New York: AMS, 1998 - (Buss, S.), s. 279-296. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 39
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0071522
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf1279.5 KBAutorský postprintpovolen