Počet záznamů: 1
Computer Science Logic '94
- 1.
SYSNO ASEP 0174175 Druh ASEP M - Kapitola v monografii Zařazení RIV C - Kapitola v knize 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)Vyd. údaje Berlin: Springer, 1995 ISBN 3-540-60017-5 Zdroj.dok. Computer Science Logic '94 Rozsah stran s. 151-162 Edice Lecture Notes in Computer Science Č. sv. edice 933 Jazyk dok. eng - angličtina Země vyd. DE - Německo CEP IAA119107 GA AV ČR - Akademie věd Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 1996
Počet záznamů: 1