Počet záznamů: 1  

A proof complexity generator

  1. 1.
    SYSNO0353760
    NázevA proof complexity generator
    Tvůrce(i) Krajíček, Jan (MU-W) SAI, ORCID
    Zdroj.dok. Logic, Methodology and Philosophy of Science. S. 185-190. - London : College Publications, 2009 / Glymour C. ; Wang W. ; Westerstahl D.
    Konference International Congress in Logic, Methodology and Philosophy of Science /13./, Beijing, 09.08.2007-15.08.2007
    Druh dok.Konferenční příspěvek (zahraniční konf.)
    Grant IAA1019401 GA AV ČR - Akademie věd
    LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    Jazyk dok.eng
    Země vyd.GB
    Klíč.slova proof complexity * hard tatologies
    Trvalý linkhttp://hdl.handle.net/11104/0192913
    Název souboruStaženoVelikostKomentářVerzePřístup
    Krajicek1.pdf198.2 KBAutorský postprintpovolen
     
Počet záznamů: 1  

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