Košík

    1.
    0353760 - MÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
    Krajíček, Jan
    A proof complexity generator.
    Logic, Methodology and Philosophy of Science. London: College Publications, 2009 - (Glymour, C.; Wang, W.; Westerstahl, D.), s. 185-190. ISBN 978-1-904987-45-1.
    [International Congress in Logic, Methodology and Philosophy of Science /13./. Beijing (CN), 09.08.2007-15.08.2007]
    Grant CEP: GA AV ČR IAA1019401; GA MŠMT LC505
    Klíčová slova: proof complexity * hard tatologies
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0192913
    Název souboruStaženoVelikostKomentářVerzePřístup
    Krajicek1.pdf198.2 KBAutorský postprintpovolen
     
     

  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