Computer Science Logic '94

Number of the records: 1

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