Počet záznamů: 1

Forcing with Random Variables and Proof Complexity

SYSNO	0369674
Název	Forcing with Random Variables and Proof Complexity
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Vyd. údaje	Cambridge: Cambridge University Press, 2011
Vydání	1st ed.
Edice	London Mathematical Society Lecture Note Series , 382
ISBN	978-0-521-15433-8
Druh dok.	Monografie, kniha (jako celek)
Grant	IAA100190902 GA AV ČR - Akademie věd
	LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
	IAA1019401 GA AV ČR - Akademie věd
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	computational complexity * random variables * mathematical analysis
URL	http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
Trvalý link	http://hdl.handle.net/11104/0203685

Počet záznamů: 1