Prague) Krajicek, Jan (Charles University - Böcker
Visar alla böcker från författaren Prague) Krajicek, Jan (Charles University.
3 produkter
3 produkter
Del 382 - London Mathematical Society Lecture Note Series
Forcing with Random Variables and Proof Complexity
Häftad, Engelska, 2010
959 kr
Skickas inom 10-15 vardagar
Del 497 - London Mathematical Society Lecture Note Series
Proof Complexity Generators
Häftad, Engelska, 2025
819 kr
Skickas inom 10-15 vardagar
Del 170 - Encyclopedia of Mathematics and its Applications
Proof Complexity
Inbunden, Engelska, 2019
2 349 kr
Skickas inom 10-15 vardagar