Počet záznamů: 1

Computer Science Logic '94

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