Počet záznamů: 1
Computer Science Logic '94
- 1.0174175 - MU-W 950126 RIV DE eng M - Část monografie knihy
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
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071189
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak3.pdf 1 212.8 KB Autorský postprint vyžádat
Počet záznamů: 1