Basket

    1.
    0174175 - MU-W 950126 RIV DE eng M - Monography Chapter
    Pudlák, Pavel - Buss, S.R.
    How to Lie without being (easily) convicted and the lengths of proofs in propositional calculas.
    Berlin: Springer, 1995. Lecture Notes in Computer Science, 933. ISBN 3-540-60017-5. In: Computer Science Logic '94., s. 151-162
    R&D Projects: GA AV ČR IAA119107
    Permanent Link: http://hdl.handle.net/11104/0071189
    FileDownloadSizeCommentaryVersionAccess
    Pudlak3.pdf1212.8 KBAuthor’s postprintrequire
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all