Výsledky vyhledávání
- 1.0369674 - MÚ 2012 RIV GB eng B - Monografie kniha jako celek
Krajíček, Jan
Forcing with Random Variables and Proof Complexity.
1st ed. - Cambridge: Cambridge University Press, 2011. 247 s. London Mathematical Society Lecture Note Series, 382. ISBN 978-0-521-15433-8
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505; GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: computational complexity * random variables * mathematical analysis
Kód oboru RIV: BA - Obecná matematika
http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
Trvalý link: http://hdl.handle.net/11104/0203685 - 2.0174170 - MU-W 950111 RIV US eng B - Monografie kniha jako celek
Krajíček, Jan
Bounded Arithmetic, Propositional Logic, and Complexity Theory.
1. - Cambridge: Cambridge University, 1995. 343 s. Encyclopedia of Mathematics and its Applications., 60.
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071184