Number of the records: 1
Computer Science Logic '94
- 1.
SYSNO 0174175 Title How to Lie without being (easily) convicted and the lengths of proofs in propositional calculas Author(s) Pudlák, Pavel (MU-W) RID, SAI
Buss, S.R. (US)Source Title Computer Science Logic '94. s. 151-162 Issue data Berlin: Springer, 1995 Edition Lecture Notes in Computer Science , 933 ISBN 3-540-60017-5 Document Type Část monografie, knihy (kapitola) Grant IAA119107 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) Language eng Country DE Permanent Link http://hdl.handle.net/11104/0071189 File Download Size Commentary Version Access Pudlak3.pdf 1 212.8 KB Author’s postprint require
Number of the records: 1