Počet záznamů: 1
Computer Science Logic '94
- 1.
SYSNO 0174175 Název How to Lie without being (easily) convicted and the lengths of proofs in propositional calculas Tvůrce(i) Pudlák, Pavel (MU-W) RID, SAI
Buss, S.R. (US)Zdroj.dok. Computer Science Logic '94. s. 151-162 Vyd. údaje Berlin: Springer, 1995 Edice Lecture Notes in Computer Science , 933 ISBN 3-540-60017-5 Druh dok. Část monografie, knihy (kapitola) Grant IAA119107 GA AV ČR - Akademie věd Jazyk dok. eng Země vyd. DE 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