Jan Krajícek - Böcker
Arithmetic, Proof Theory, and Computational Complexity
Av Clote, Krajicek, Peter Clote, Jan Krajícek, USA) Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, Czechoslovakia) Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1
Inbunden, Engelska, 1993
2 169 kr
Forcing with Random Variables and Proof Complexity
Av Prague) Krajicek, Jan (Charles University, Jan Krajíček, Jan Krajícek, Jan Krají¿ek
Häftad, Engelska, 2010
979 kr
Bounded Arithmetic, Propositional Logic and Complexity Theory
Av Prague) Krajicek, Jan (Academy of Sciences of the Czech Republic, Jan Krajicek, G. -C Rota, B. Doran
Inbunden, Engelska, 1995
2 329 kr
Proof Complexity Generators
Av Jan Krajíček, Jan Krajíček, Prague) Krajicek, Jan (Charles University, Jan Krajíček, Krají&
Häftad, Engelska, 2025
849 kr
Proof Complexity
Av Jan Krajíček, Prague) Krajicek, Jan (Charles University, Jan Krajíček, Jan Krajícek, Jan Krají¿ek
Inbunden, Engelska, 2019
2 449 kr
Inbunden, Engelska, 2005
939 kr
Häftad, Engelska, 2005
549 kr