Košík

  1. 1.
    0175423 - MU-W 20030177 RIV US eng J - Článek v odborném periodiku
    Pudlák, Pavel
    Proofs as games.
    American Mathematical Monthly. Roč. 107, č. 5 (2000), s. 541-550. ISSN 0002-9890. E-ISSN 1930-0972
    Grant CEP: GA AV ČR IAA1019901; GA MŠMT ME 103
    Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
    Klíčová slova: game * lengths of proofs * resolution
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.238, rok: 2000
    Trvalý link: http://hdl.handle.net/11104/0072406
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak2.pdf1967.7 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.