Forcing with Random Variables and Proof Complexity - Krajicek, Jan (Charles University, Prague)
Stabilní cena
Cenu sledujeme od 20. 7. 2026 a zatím se drží na 1 844 Kč.
O produktu
Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780521154338
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
