Releases med Krajicek, Jan (Charles University, Prague)

På lager hos iMusic Vis utilgjengelige utgivelser

Cover for Krajicek, Jan (Charles University, Prague) · Proof Complexity Generators - London Mathematical Society Lecture Note Series (Pocketbok) (2025)

Proof Complexity Generators - Lo... (2025)

Krajicek, Jan (Charles Universit...

Cover for Krajicek, Jan (Charles University, Prague) · Proof Complexity - Encyclopedia of Mathematics and its Applications (Innbunden bok) (2019)

Proof Complexity - Encyclopedia ... (2019)

Krajicek, Jan (Charles Universit...

Cover for Krajicek, Jan (Charles University, Prague) · Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series (Pocketbok) (2010)

Forcing with Random Variables an... (2010)

Krajicek, Jan (Charles Universit...