Hoppa till sidans huvudinnehåll

Prague) Krajicek, Jan (Charles University - Böcker

Visar alla böcker från författaren Prague) Krajicek, Jan (Charles University.
3 produkter
Del 382 - London Mathematical Society Lecture Note Series

Forcing with Random Variables and Proof Complexity

AvJan Krajíček,Jan Krajíček,Prague) Krajicek, Jan (Charles University,Jan Krajíček,Jan Krajícek,Jan Krají¿ek

Häftad, Engelska, 2010

939 kr

Skickas inom 7-10 vardagar

Del 497 - London Mathematical Society Lecture Note Series

Proof Complexity Generators

AvJan Krajíček,Jan Krajíček,Prague) Krajicek, Jan (Charles University,Jan Krajíček,Jan Krajícek,Krají&

Häftad, Engelska, 2025

749 kr

Skickas inom 7-10 vardagar

Del 170 - Encyclopedia of Mathematics and its Applications

Proof Complexity

AvJan Krajíček,Jan Krajíček,Prague) Krajicek, Jan (Charles University,Jan Krajíček,Jan Krajícek,Jan Krají¿ek

Inbunden, Engelska, 2019

2 319 kr

Skickas inom 7-10 vardagar