Releases von Krajicek, Jan (Charles University, Prague)

Alle3
Gebundenes Buch1
Taschenbuch2

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Krajicek, Jan (Charles University, Prague) · Proof Complexity Generators - London Mathematical Society Lecture Note Series (Taschenbuch) (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 (Gebundenes Buch) (2019)

Gebundenes Buch

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 (Taschenbuch) (2010)

Forcing with Random Variables an... (2010)

Krajicek, Jan (Charles Universit...