Hoppa till sidans huvudinnehåll

Jan Krajícek - Böcker

Visar alla böcker från författaren Jan Krajícek.
7 produkter
Del 23 - Oxford Logic Guides

Arithmetic, Proof Theory, and Computational Complexity

AvClote,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 029 kr

Skickas inom 3-6 vardagar

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

929 kr

Skickas inom 7-10 vardagar

Del 60 - Encyclopedia of Mathematics and its Applications

Bounded Arithmetic, Propositional Logic and Complexity Theory

AvJan Krajicek,Prague) Krajicek, Jan (Academy of Sciences of the Czech Republic,G. -C Rota,B. Doran

Inbunden, Engelska, 1995

2 219 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

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedman,Jan Krajícek,Jan Krajicek

Inbunden, Engelska, 2005

969 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedman,Jan Krajícek,Jan Krajicek

Häftad, Engelska, 2005

569 kr

Skickas inom 10-15 vardagar