Košík

    1.
    0174807 - MU-W 990021 RIV US eng J - Článek v odborném periodiku
    Pudlák, Pavel
    Lower bounds for resolution and cutting plane proofs and monotone computations.
    Journal of Symbolic Logic. Roč. 62, č. 3 (1997), s. 981-998. ISSN 0022-4812. E-ISSN 1943-5886
    Grant CEP: GA AV ČR IAA1019602; GA MŠMT ME 103
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.413, rok: 1997
    Trvalý link: http://hdl.handle.net/11104/0071806
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf41.9 MBVydavatelský postprintvyžádat
    Pudlak4.pdf2326 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše